2681 search results - page 182 / 537 » Topics in asynchronous systems |
140
Voted
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
The development of complex distributed systems demands for the creation of suitable architectural styles (or paradigms) and related run-time infrastructures. An emerging style tha...
164
click to vote
CLEIEJ
2006
15 years 5 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
141
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
132
Voted
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
147
Voted
CATA
2003
15 years 6 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...