1699 search results - page 36 / 340 » A timed semantics of Orc |
168
click to vote
CBMS
2006
IEEE
16 years 2 days 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...
203
click to vote
ISORC
1998
IEEE
15 years 10 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...
154
click to vote
FLOPS
2008
Springer
15 years 7 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...
166
click to vote
RTCSA
2008
IEEE
16 years 12 days 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...
154
click to vote
LICS
2003
IEEE
15 years 11 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...