257 search results - page 37 / 52 » New Bisimulation Semantics for Distributed Systems |
123
click to vote
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
88
Voted
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
The most important and interesting of the computing challenges we are facing are those that involve the problems and opportunities afforded by massive decentralization and disinte...
105
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...