A real time operating system is the appropriate medium for interfacing spacecraft on-board planners to sensing devices. Reflective programming techniques can contribute significantly to a spacecraft real-time operatin...
详细信息
The subsumption architecture is a layered mediator invented by Rodney Brooks for behaviour-based control of robots. The layers are minimally dependent and use minimal communication. We develop an object-oriented softw...
详细信息
This paper discusses a technique to model software patterns for supporting pattern based software development. Software development can be considered as the evolution of the artifacts to be produced. Software patterns...
详细信息
In this paper a new automatic speech recognition (ASR) CPU-based software, called AlfaNum, with the chosen few heuristics optimized for applications in heterogeneous conditions is described. AlfaNum is a discrete spea...
详细信息
Software metrics proposed and used for procedural paradigm have been found inadequate for object-oriented software products, mainly because of the distinguishing features of the object-oriented paradigm such as inheri...
详细信息
In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of this organisation have migrated from stru...
详细信息
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge of security engineering. Market forces ...
详细信息
Message Sequence Charts (MSC) is a graphical trace language for describing and specifying the communication be-haviour of distributed systems by means of message interchange. (Timed) Maude is a formal object-oriented ...
详细信息
Message Sequence Charts (MSC) is a graphical trace language for describing and specifying the communication be-haviour of distributed systems by means of message interchange. (Timed) Maude is a formal object-oriented speci-fication language which combines algebraic specification techniques for describing complex data structures with (timed) term rewriting to deal with dynamic behaviour. In this paper we show first how to formalize MSC in Timed Maude. Then we give a translation of timed rewriting to untimed rewrite systems and use this translation to execute Message Sequence Charts with the Elan system, a powerful tool which combines Rewriting Logic with a lan-guage of rewriting strategies. We illustrate our approach with the bench mark example of a railroad crossing.
This full-day workshop was organized in four sessions. The first three were thematic technical sessions dedicated to the presentation of the recent research results of participants. Seven, out of eleven accepted submi...
详细信息
A data warehouse is an information provider that collects necessary data from individual source databases to support the analytical processing of decision-support functions. In the past, research on data warehouses pr...
详细信息
A data warehouse is an information provider that collects necessary data from individual source databases to support the analytical processing of decision-support functions. In the past, research on data warehouses primarily focused on relational data models. In this paper, the concept of object-oriented data warehousing is introduced and discussed. A new data model, called the compressed data model, is proposed for storing the data in the object-oriented data warehouse. The data model will form new classes according to the definitions of views, such that the query performance and security can be improved. Three incremental maintenance algorithms, including instance insertion, deletion and update, are proposed to maintain the consistency between the data warehouse and the source databases.
暂无评论