Sciweavers

1740 search results - page 53 / 348
» Group communication protocol for flexible distributed system...
Sort
View
WETICE
1999
IEEE
13 years 12 months ago
More Flexible Data Types
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...
Mike Spreitzer, Andrew Begel
EUROMICRO
2000
IEEE
14 years 1 days ago
A Coordination Architecture for Internet Groupwork
This paper discusses a group coordination architecture to support Internet-wide distributed collaboration in the context of legacy Internet protocols. Group coordination in distri...
Hans-Peter Dommel, J. J. Garcia-Luna-Aceves
MIDDLEWARE
2005
Springer
14 years 1 months ago
Middleware for protocol-based coordination in dynamic networks
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
Kurt Schelfthout, Danny Weyns, Tom Holvoet
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
14 years 1 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
ICWS
2003
IEEE
13 years 9 months ago
Web Services Communication within the PROGRESS Grid-Portal Environment
The grid is the next generation computing infrastructure able to handle the growing requirements for computing power. Portals are anticipated as the user’s access point to these...
Piotr Grzybowski, Michal Kosiedowski, Cezary Mazur...