1087 search results - page 96 / 218 » Achieving Distributed Control through Model Checking |
IWQOS
2004
Springer
14 years 2 months ago
2004
Springer
— We propose an algorithm for design and on the fly modification of the schedule of a wireless ad hoc network for provision of fair service guarantees under topological changes...
DCOSS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We propose a distributed coalition formation strategy for collaborative sensing tasks in camera sensor networks. The proposed model supports taskdependent node selection ...
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
Motion saliency is the key component for the video saliency model, and attracts great research interest. However, there is few universal predictor of motion saliency. In this pape...
CODES
1999
IEEE
14 years 1 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents an architecture for adaptive cognitive radio networks based on the concept of a “global control plane”. The proposed control architecture uses a predete...