3121 search results - page 320 / 625 » Information Survivability Control Systems |
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
159
click to vote
JNW
2007
15 years 6 months ago
2007
Abstract— A location tracking sensor network is being deployed in several buildings at the University of Michigan to help explore issues in design of pervasive environments. Mana...
144
Voted
SSS
2010
Springer
15 years 5 months ago
2010
Springer
We consider the question of how much information can be stored by labeling the vertices of a connected undirected graph G using a constant-size set of labels, when isomorphic label...
180
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
The purpose of this paper is to estimate the position of a human in the image frame and to use this information to diagnose falls. A nonholonomic locomotion model describes the dis...
189
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--In this paper, d-AdaptOR, a distributed opportunistic routing scheme for multi-hop wireless ad-hoc networks is proposed. The proposed scheme utilizes a reinforcement lear...