检索结果-内蒙古大学图书馆

International conference and Workshop on engineering of computer-Based systems

作者： B.H.G. Mendelbaum R. Gallant J.-F. Brette Ch.F. Ducateau Department Informatique Universite Paris V IUT Paris France Computer Engineering Department Jerusalem College of Technology Jerusalem Israel CRIP5 Universite Paris University Paris France

this paper presents a method to build software-prototypes of computer-Based systems (CBS) that describe and simulate parts of software and parts of hardware using a common concurrent software Behavioral Object Oriented Model (BOOM). For the hardware objects this behavioral prototyping can be viewed as a pre-stage of specification and analysis before the real physical design. the CBS prototypes are built in Java using a method called Vowels2. this method permits the development of the prototype as a concurrent application, from the user-requirements to the software programming in Java. the process of prototype description is made step by step. these steps use a subset of the UML graphical diagrams. the Java coding is deduced from these commented diagrams, using general patterns of thread-active-objects linked by customized objects: synchronous stimuli, asynchronous FIFO-queues etc. the method is illustrated by a simplified example containing parallelism synchronization: the blood-test machine.

关键词： Java Hardware software prototyping Prototypes Object oriented modeling Concurrent computing Computational modeling computer simulation Application software Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Virtual synchrony semantics : a client-server implementation

Virtual synchrony semantics : a client-server implementation

引用

作者： Tarashansky, Igor Massachusetts Institute of Technology

学位级别：硕士

Group communication systems (GCSs) with virtual synchrony (VS) semantics have proven to be powerful abstractions for distributed fault-tolerant application development. In this thesis, we present an implementation of a virtally synchronous service which is a part of the emerging Xpand GCS. this service is based on a new fast VS algorithm. this algorithm is a part of the architecture that separates the multicast and the membership services in order to parallelize their operations. the performance measurements of the system have shown that the commuication overhead is low and the parallelism of the membeship and VS services is effective. [1] Y. Amir, G. V. Chokler, D. Dolev, and R. Vitenberg. Efficient state transfer in parti- tionable environments. In 2nd European Research Seminar on Advances in Distributed systems (ERSADS'97), pages 183-192. BROADCAST (ESPRIT WG 22455), Operat- ing systems Laboratory, Swiss Federal Institute of Technology, Lausanne, March 1997. Full version: Technical Report CS98-12, Institute of computer Science, the Hebrew University, Jerusalem, israel. [2] T. Anker, G. Chockler, D. Dolev, and I. Keidar. Scalable group membership services for novel applications. In Marios Mavronicolas, Michael Merritt, and Nir Shavit, edi- tors, Networks in Distributed Computing (DIMACS workshop), volume 45 of DIMACS, pages 23-42. American Mathematical Society, 1998. [3] T. Anker, G. Chockler, I. Shnaiderman, and D. Dolev. the Design of Xpand: A Group Communication System for Wide Area Networks. Technical Report 2000-31, Institute of computer Science, Hebrew University, Jerusalem, israel, July 2000. [4] T. Anker, D. Dolev, and I. Keidar. Fault tolerant video-on-demand services. In 19th International conference on Distributed Computing systems (ICDCS), pages 244-252, June 1999. [5] K. Birman. Building Secure and Reliable Network Applications. Manning, 1996. [6] T. D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the

关键词： Electrical engineering and computer Science

来源：评论

学校读者我要写书评

暂无评论

Structuring the student research experience

Proceedings of the Conference on Integrating Technology into...

引用

Proceedings of the conference on Integrating Technology into computer Science Education, ITiCSE 2000年 17-20页

作者： Bernat, Andrew Teller, Patricia J. Gates, Ann Delgado, Nellie Univ of Texas at El Paso El Paso TX United States

the benefits of working in a research group are clear: students develop domain expertise, gain an understanding and appreciation of the research process and its practice, and acquire team, communication, problem-solving, and higher-level thinking skills. Students with this experience are better equipped to make informed judgments about technical matters and to communicate and work in teams to solve complex problems. However, it is difficult to provide a quality experience to large numbers of students, particularly to students of differing abilities. the systems and software engineering Affinity Research Group model provides a socialization mechanism and infrastructure that supports the development and management of large research groups that engage undergraduate and graduate students, who have a wide range of skill levels and experiences, in research and projects. this non-hierarchical model integrates students into both small research groups and an encompassing large research group, and uses structured activities to develop their research, technical, communication, and group skills. In this paper we introduce the model and report how the model meets independently developed Best Practice guidelines for student research experiences and we provide indicators of success for use by other projects.

关键词： engineering research

来源：评论

学校读者我要写书评

暂无评论

Comprehensive specification of distributed systems using I/sup 5/ and IOA

Comprehensive specification of distributed systems using I/s...

引用

computer Science Society (SCCC) International conference Chilean FLAGGED

作者： M.C. Bastarrica S.A. Demurjian A.A. Shvartsman DCC Universidad de Chile Santiago Chile CS&E University of Connecticut Storrs CT USA LCS MIT Cambridge MA USA

Low level difficulties in the development of distributed systems that are due to non-standard communication protocols and incompatible components or platforms have largely been solved through standardization and commoditization of protocols and platforms. Distributed systems are being designed at higher levels of sophistication these days, and having an expressive yet usable specification language is a valuable tool. IOA is a formal language for specifying the semantics of distributed systems. I/sup 5/ is a specification framework for architectural definition of distributed systems, also intended as a basis for configuration management. I/sup 5/ has five levels that specify mainly the structural characteristics at different levels of abstraction, but I/sup 5/ does not address the semantics or dynamics of distributed systems interactions. We explore the integration of IOA and I/sup 5/ to create combined specifications that enjoy the benefits of both specification languages: the five different levels of abstraction of I/sup 5/ with their structural specification capabilities are enhanced by a semantic specification written in IOA. We show an example of a specification developed using IOA and I/sup 5/ in an integrated way. We consider general approaches to such integrated specifications and discuss the possibilities and limitations of integrating IOA and I/sup 5/, as well as our future work towards the complete integration.

关键词： Protocols Specification languages software engineering Automata Formal languages Pervasive computing Power engineering computing Formal specifications software architecture computer architecture

来源：评论

学校读者我要写书评

暂无评论

Approximate graph schema extraction for semi-structured data 7

引用

7th International conference on Extending Database Technology, EDBT 2000

作者： Wang, Qiu Yue Yu, Jeffrey Xu Wong, Kam-Fai Department of Systems Engineering and Engineering Management The Chinese University of Hong Kong Hong Kong Hong Kong

ISBN: (纸本)3540672273

Semi-structured data are typically represented in the form of labeled directed graphs. they are self-describing and schemaless. the lack of a schema renders query processing over semi-structured data expensive. To overcome this predicament, some researchers proposed to use the structure of the data for schema representation. Such schemas are commonly referred to as graph schemas. Nevertheless, since semistructured data are irregular and frequently subjected to modifications, it is costly to construct an accurate graph schema and worse still, it is difficult to maintain it thereafter. Furthermore, an accurate graph schema is generally very large, hence impractical. In this paper, an approximation approach is proposed for graph schema extraction. Approximation is achieved by summarizing the semi-structured data graph using an incremental clustering method. the preliminary experimental results have shown that approximate graph schemas were more compact than the conventional accurate graph schemas and promising in query evaluation that involved regular path expressions. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Speaker recognition using artificial neural networks based on vowel phonemes

Speaker recognition using artificial neural networks based o...

引用

International conference on Signal Processing Proceedings (ICSP)

作者： E.F.M.F. Badran H. Selim Electrical Engineering Department Assiut University Egypt

Speaker recognition systems attempt to recognize a speaker by his/her voice through measurements of the specifically individual characteristics arising in the speaker's voice. Among transformations of LPC parameters the adaptive component weighted (ACW) cepstrum has been shown to be less susceptible to channel effects than others. Text-independent and text-dependent speaker recognition systems suitable for verification and identification (open set and closed set) are presented, the system is based on locating the vowel phonemes of the test utterance. A preprocessing is applied to the speech signal. the centers of the vowel phonemes are located and identified as speech events using a three-step vowel phoneme locating process. the steps of the locating process are: (1) average magnitude function calculation; (2) vowel phoneme candidates location; and (3) ripple rejection. For each vowel phoneme (20 ms) 10 ACW cepstrum coefficients are calculated and are used as inputs to neural networks and the outputs are accumulated and averaged. the system hardware requirements are a microphone and a round card. the system software written in C++ language for windows. the system was tested with a population of 10 speakers (7 male and 3 female), and the statistics were taken (95.67% for text-dependent verification, 93% for text-dependent identification, 92.2% for text-independent verification and 88.95% for text-independent identification). there tests were done with utterances of one word having one vowel phoneme (20 msec used for recognizing the speaker). A vowel phoneme recognition application is also presented. A limited vocabulary recognition system is developed using vowel phoneme in the limited vocabulary. the feature vectors calculation is the same as in the speaker recognition system the only difference is in the neural network training and size (97.5% of word recognition).

关键词： Speaker recognition Artificial neural networks Speech recognition Cepstrum System testing Neural networks Vocabulary Character recognition Linear predictive coding Speech processing

来源：评论

学校读者我要写书评

暂无评论

Robots: A real-time systems architectural style 1

引用

7th European software engineering conference/7th ACM SIGSOFT Symposium on the Foundations of software engineering

作者： Gafni, V Israel Aircraft Ind Ltd MBT IL-56000 Yehud Israel

ISBN: (数字)9783540481669

ISBN: (纸本)3540665382

this paper presents an architectural style for real-time systems, and an associated formal architectural description language, called Robots. A basic specification in Robots consists of asynchronous control task that is responsible for the dynamic reconfiguration of the system controller as a set of asynchronous observer and process tasks. the controller architecture evolves by hierarchical refinement of observers and processes into lower level control tasks each dominating a new set of observers and processes. Robots is given operational semantics by statecharts. Also, the architectural style is embedded in Robots by semantic rules that allow formal checking of the consistency and completeness of architectural specifications.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Developing more reliable software faster and cheaper

Developing more reliable software faster and cheaper

引用

Proceedings of the 1999 5th IEEE International conference on engineering of Complex computer systems (ICECCS'99)

作者： Musa, John D. Software Reliability Engineering and Testing Courses

this paper will outline the nature of the standard, proven, widespread best practice of software Reliability engineering (SRE). It is widely applicable, low in cost, and its implementation has virtually no schedule impact. SRE helps you develop and test more reliable software faster and cheaper. We will show how it does this, and we will present some resources that will help you learn more about it.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Integrating approach for developing distributed software systems - combining formal methods, software reuse, and the experience base

Integrating approach for developing distributed software sys...

引用

Proceedings of the 1999 5th IEEE International conference on engineering of Complex computer systems (ICECCS'99)

作者： Feldmann, Raimund L. Geppert, Birgit Roessler, Frank Univ of Kaiserslautern Kaiserslautern Germany

the development of complex software systems is driven by many diverse and sometimes contradictory requirements such as correctness and maintainability of resulting products, development costs, and time-to-market. To alleviate these difficulties, we propose a development method for distributed systems that integrates different basic approaches. First, it combines the use of the formal description technique SDL with software reuse concepts. this results in the definition of a use-case driven, incremental development method with SDL-patterns as the main reusable artifacts. Experience with this approach has shown that there are several other factors of influence, such as the quality of reuse artifacts or the experience of the development team. therefore, we further combined our SDL-pattern approach with an improvement methodology known from the area of experimental software engineering. In order to demonstrate the validity of this integrating approach, we sketch some representative outcomings of a case study.

关键词： computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

UML + ROOM as a standard ADL?

UML + ROOM as a standard ADL?

引用

Proceedings of the 1999 5th IEEE International conference on engineering of Complex computer systems (ICECCS'99)

作者： Rumpe, B. Schoenmakers, M. Radermacher, A. Schuerr, A. Munich Univ of Technology Munich Germany

Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of the term 'software architecture' and no standard software architecture description language (ADL). this paper discusses whether the standard OO modeling language UML is a standard ADL, explains some deficiencies if used for this purpose, and makes a proposal of how to eliminate these deficiencies. the proposal is based on the widely accepted idea that elements of the component-based OO modeling language ROOM should be integrated with UML. It explains why the idea of merging static structure diagrams of ROOM with behavior describing collaboration diagrams of UML is not sufficient and presents an additional approach for the integration problem.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：