359 search results - page 40 / 72 » Modeling Consensus in a Process Calculus |
UML
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. There is much interest in using the Unified Modeling Language (UML) for architectural description – those techniques by which architects sketch, capture, model, docume...
TGC
2007
Springer
14 years 4 months ago
2007
Springer
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...
TASE
2007
IEEE
14 years 4 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
PODC
2009
ACM
14 years 10 months ago
2009
ACM
d Abstract] Marcos K. Aguilera Microsoft Research Silicon Valley Mountain View, CA, USA Carole Delporte-Gallet Universit? Paris 7 Paris, France Hugues Fauconnier Universit? Paris ...
MPC
2010
Springer
14 years 2 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...