1087 search results - page 71 / 218 » Achieving Distributed Control through Model Checking |
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
TIFS
2008
13 years 7 months ago
2008
Abstract--Distributed detection of information flows is considered in which traffic sensors at different locations of a network observe transmission epochs. The traffic sensors com...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
A new deformable model called Active B-Snake Model (ABM) is presented for object boundary extraction. First, an affine-invariant landmark point assignment strategy is proposed to ...
ISORC
1999
IEEE
14 years 5 days ago
1999
IEEE
As networks and the use of communication within applications continue to grow and find more uses, so too does the demand for more control and manageability of various "system...