3908 search results - page 183 / 782 » A model for service-oriented communication systems |
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
186
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
167
click to vote
FSTTCS
2007
Springer
16 years 23 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
147
click to vote
ICDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper studies the problem of updates in decentralised and self-organising P2P systems in which peers have low online probabilities and only local knowledge. The update strate...
131
click to vote
ENTCS
2008
15 years 6 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...