In order to meet the requirements of building CORBA-based distributed multimedia applications, OMG has defined the CORBA A/V Stream Service Specification. However, it is not specified to use what network mechanism to ...
详细信息
In order to meet the requirements of building CORBA-based distributed multimedia applications, OMG has defined the CORBA A/V Stream Service Specification. However, it is not specified to use what network mechanism to ensure the QoS of multimedia streams. In this paper, an implementation model of IntServ/RSVP based CORBA A/V Stream Service is proposed. It first maps the application-level QoS parameters of multimedia streams specified by application developers into network-level QoS parameters. It then negotiates the QoS requirements with the IntServ/RSVP enabled network and reserves corresponding network resource in the endsystems and intermediate network systems to maintain end-to-end QoS enforcement through the RSVP API. Also, developers can flexibly control and manage the multimedia streams using CORBA IIOP protocol.
Nowadays, the main reason for failures of large-scale systems development is that the requirement analysis stage could not produce complete, understandable, unambiguous, tracable and testable system requirements docum...
详细信息
Nowadays, the main reason for failures of large-scale systems development is that the requirement analysis stage could not produce complete, understandable, unambiguous, tracable and testable system requirements documents. To conquer this problem, from the point of view of `requirements engineering (RE)', the formalization of RE process is discussed here from three aspects: a full process model, formal representation and formal verification. RE is taken as a process growing in the 3-demension space of sociology, methodology and technology, and a spiral lifecycle model of this process is given to illustrate its social characteristic. The recommended representation language is UML and Coq is the instrument of Component-Cut-In modularizational formal method to do Validation & Verification. At last, the alternating-bit protocol is an example to demonstrate how to combining UML and Coq to formalize RE.
This paper describes applying of SOMT to specification and design of CDMA base station systems. SOMT is based on object models for analysis and SDL for design, and decomposes the developing process into five sequentia...
详细信息
This paper describes applying of SOMT to specification and design of CDMA base station systems. SOMT is based on object models for analysis and SDL for design, and decomposes the developing process into five sequential activities, i.e. requirements analysis, system analysis, system design, object design, and implementation. A set of rules mapping object models to SDL design models are proposed, according to which analysis object models are transformed smoothly into SDL system design models.
Fuzzy control has been widely applied, but it is restricted because of the difficulty in designing the fuzzy controller for a complicated system. In order to standardize and simplify the design of a fuzzy control syst...
详细信息
Fuzzy control has been widely applied, but it is restricted because of the difficulty in designing the fuzzy controller for a complicated system. In order to standardize and simplify the design of a fuzzy control system the CAD (computer aided design) technique is adopted. In the paper, the design ideas and design methods of fuzzy control system CAD software (FuzzyCAD) are discussed. In addition, FuzzyCAD is used to design a fuzzy controller according to some digital simulation objects and the simulation results are fine, thus the software is proved to be valuable and practicable.
Teaching and learning online through the Internet are bound to change the structure of US traditional educational institutions. This motivated faculty of the College of Applied Science (OCAS), University of Cincinnati...
详细信息
Teaching and learning online through the Internet are bound to change the structure of US traditional educational institutions. This motivated faculty of the College of Applied Science (OCAS), University of Cincinnati (UC) to propose and complete an international project on establishment of mutually beneficial international collaboration on Web-based education (WBE) between OCAS and the Ministry of Education of Russia. This project was a part of UC's globalization strategy.
This paper presents a hierarchical approach to designing behavioral functional models (BFMs) for bus protocols, based on the protocols' defined hierarchies of data-transfer. Classical approaches to BFM design for ...
详细信息
This paper presents a hierarchical approach to designing behavioral functional models (BFMs) for bus protocols, based on the protocols' defined hierarchies of data-transfer. Classical approaches to BFM design for bus protocols restrict themselves to the most rudimentary levels of data-exchange, leading to inefficient and error-prone modeling of higher level data transfers. This paper presents a layered approach to BFM design, in which each level of data transfer is controlled or monitored by a separate layer of BFM functions. This approach addresses all levels of data-transfer abstractions, and increases the scope for reuse across multiple projects. We present a case-study of the successful application of this methodology in the implementation of Synopsys' DesignWare/sup TM/ USB (Universal Serial Bus) Functional Model (UBFM).
Message-passing is a well known approach for parallelizing programs. The widely used standard MPI (Message passing interface) also defines C++ bindings. Nevertheless, there is a lack of integration of object-oriented ...
详细信息
Message-passing is a well known approach for parallelizing programs. The widely used standard MPI (Message passing interface) also defines C++ bindings. Nevertheless, there is a lack of integration of object-oriented concepts. In this paper, we describe our design of TPO++, an object-oriented message-passing library written in C++ on top of MPI. Its key features are easy transmission of objects, type-safety, MPI-conformity and integration of the C++ Standard Template Library.
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, DIAPLAN can generate visual environment...
详细信息
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, DIAPLAN can generate visual environments with no restriction on their visual representation, and also supports object-orientedprogramming since its graphs are hierarchically structured.
For *** see ibid., p.1478-83 (2000). IEEE PES sponsors a panel session in the summer power meeting in Seattle on laboratory education in power engineering. Six short papers and one full paper summarize the opinion of ...
详细信息
For *** see ibid., p.1478-83 (2000). IEEE PES sponsors a panel session in the summer power meeting in Seattle on laboratory education in power engineering. Six short papers and one full paper summarize the opinion of the panelists. This is the full paper. The evolution of software engineering, multitasking environment, object-orientedprogramming and symbolically assisted simulation methods have enabled the creation of interactive simulation environments that come close to providing a virtual experience of the actual system. The initial attempts at utilizing this technology are impressive and yet the degree to which they achieve virtual status is questionable. This paper examines the pros and cons of the present status of this technology. We discuss the minimum requirements for a virtual environment. We present our approach and compare it to the general requirements of a virtual laboratory. We conclude that the technology exists today to generate a virtual power system laboratory. Yet much work remains to be done for claiming that we have achieved the objective of having a true virtual laboratory for power systems. At the same time, virtual environments have certain advantages that cannot be achieved in a physical laboratory.
This paper proposes and evaluates glyph representation of inheritance relationships between a superclass and subclasses in an object-orientedprogramming language. The inheritance relationships in object-oriented prog...
详细信息
This paper proposes and evaluates glyph representation of inheritance relationships between a superclass and subclasses in an object-orientedprogramming language. The inheritance relationships in object-orientedprogramming languages are usually represented by a diagram of a tree graph or a nested structure in a visual programming environment. Using the proposed representation, the inheritance relationships are represented by inclusion relationships of glyphs. A prototype system of glyph generation is developed. Experiments using the Java 2 Standard Edition, which has more than 1,500 classes, show that one can recognize inheritance relationships in the proposed representation faster than the usual textual representation.
暂无评论