1740 search results - page 51 / 348 » Group communication protocol for flexible distributed system... |
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
INFOCOM
2000
IEEE
14 years 20 hour ago
2000
IEEE
The Intelligent Network (IN) represents the world wide accepted basis for uniform provisioning of advanced telecom services. On the other hand IP based communication is fast becomi...
WETICE
1998
IEEE
13 years 12 months ago
1998
IEEE
The development of software products has become a highly cooperative and distributed activity involving working groups at geographically distinct places. These groups show an incr...
FOCS
2002
IEEE
14 years 18 days ago
2002
IEEE
In recent years, gossip-based algorithms have gained prominence as a methodology for designing robust and scalable communication schemes in large distributed systems. The premise ...