1699 search results - page 36 / 340 » A timed semantics of Orc |
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
ISORC
1998
IEEE
14 years 1 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
RTCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...