8 search results - page 1 / 2 » STARI: A Case Study in Compositional and Hierarchical Timing... |
CAV
1997
Springer
14 years 21 days ago
1997
Springer
SSS
2010
Springer
13 years 6 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
FORMATS
2007
Springer
14 years 12 days ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
ESEC
1997
Springer
14 years 20 days ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
FMOODS
2006
13 years 10 months ago
2006
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...