1370 search results - page 68 / 274 » On the Consistent Observation of Active Systems |
154
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
146
click to vote
IROS
2007
IEEE
16 years 11 days ago
2007
IEEE
— Neurophysiology has revealed the existence of mirror neurons in brain of macaque monkeys and they shows similar activities during executing an observation of goal directed move...
119
click to vote
MSS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a design that addresses limitations inherent in the initial implementation of the Archive for the Earth Observing Systems (EOS). The design consists of two el...
152
click to vote
PERSUASIVE
2007
Springer
16 years 6 days ago
2007
Springer
An increasing number of persuasive technology systems consist of multiple devices that enable efficient just-in-time interaction with the user. Developing multi-device systems to s...
161
click to vote
SECON
2007
IEEE
16 years 11 days ago
2007
IEEE
— In wireless sensor networks, it is desirable to maintain good sensing coverage while keeping the number of active sensor nodes small to achieve long system lifetime. Existing c...