1087 search results - page 80 / 218 » Achieving Distributed Control through Model Checking |
COMSWARE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract-- This paper presents a proposal for group membership and access control services for JXTA, both based on the principle of self-organization and collaboration of peer grou...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
This paper proposes a novel model-guided segmentation framework utilizing a statistical surface wavelet model as a shape prior. In the model building process, a set of training sh...
ICDCS
1999
IEEE
14 years 1 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...
HASE
2002
IEEE
14 years 2 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...