1087 search results - page 147 / 218 » Achieving Distributed Control through Model Checking |
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—In many sensor network applications, manual or well-controlled node deployment is not practical. Random deployments, e.g., from the air, often result in unevenly distributed nod...
MIDDLEWARE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. While Web Services ensure interoperability and extensibility for networked applications, they also complicate the deployment of highly collaborative systems, such as virt...
ITCC
2002
IEEE
14 years 2 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
ICDCSW
2003
IEEE
14 years 2 months ago
2003
IEEE
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes a functional ontology of reputation for agents. The goal of this ontology is twofold. First, to put together the broad knowledge about reputation produced in s...