172 search results - page 17 / 35 » Enforcing synchronous system properties on top of timed syst... |
TC
2002
13 years 7 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
WORDS
2005
IEEE
14 years 28 days 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...
TC
2002
13 years 7 months ago
2002
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...