Sciweavers

22 search results - page 3 / 5
» Modeling Urgency in Component-Based Real-Time Systems
Sort
View
ADAEUROPE
2008
Springer
13 years 11 months ago
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
Patricia López Martínez, José...
RTCSA
2006
IEEE
13 years 11 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
HICSS
2002
IEEE
120views Biometrics» more  HICSS 2002»
13 years 10 months ago
Real Time Decision Support System for Portfolio Management
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
Chiu-Che Tseng, Piotr J. Gmytrasiewicz
EUROMICRO
2009
IEEE
13 years 9 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
SCS
2004
13 years 6 months ago
Complex Reactive Real Time Systems and the Safety Case
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
Gordon R. Stone