1699 search results - page 49 / 340 » A timed semantics of Orc |
172
click to vote
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
182
click to vote
QEST
2006
IEEE
16 years 1 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
164
click to vote
DEXA
1994
Springer
15 years 10 months ago
1994
Springer
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. We have integrated real-time, object-oriented, semantic and ...
150
click to vote
SEUS
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
143
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...