1087 search results - page 189 / 218 » Achieving Distributed Control through Model Checking |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
INFSOF
2006
13 years 9 months ago
2006
Web services are used for developing and integrating highly distributed and heterogeneous systems in different domains such as e-business, grid services, and e-government systems....
PDP
2010
IEEE
14 years 4 months ago
2010
IEEE
—It is clear that Cloud computing is and will be a sea change for the Information Technology by changing the way in which both software and hardware are designed and purchased. I...
WETICE
2005
IEEE
14 years 3 months ago
2005
IEEE
Policy-based messaging (PBM) aims at carrying security policies with messages, which will be enforced at recipient systems to provide security features. PBM promotes a distributed...
SRDS
2003
IEEE
14 years 3 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...