257 search results - page 35 / 52 » New Bisimulation Semantics for Distributed Systems |
114
click to vote
ECRTS
2003
IEEE
15 years 5 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
106
click to vote
ENTCS
2010
14 years 11 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
145
click to vote
CCGRID
2010
IEEE
15 years 24 days ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
ATAL
2010
Springer
15 years 25 days ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
NSDI
2004
15 years 1 months ago
2004
The Web relies on the Domain Name System (DNS) to resolve the hostname portion of URLs into IP addresses. This marriage-of-convenience enabled the Web's meteoric rise, but th...