690 search results - page 117 / 138 » Testing Temporal Logic Properties in Distributed Systems |
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...
RTSS
2005
IEEE
14 years 2 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
CONCUR
1994
Springer
14 years 21 days ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...