4099 search results - page 440 / 820 » A Framework for Interactive Proof |
195
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
229
click to vote
UCS
2007
Springer
16 years 27 days ago
2007
Springer
Recognizing activities based on an actor’s interaction with everyday objects is an important research approach within ubiquitous computing. We present a recognition approach whic...
167
click to vote
ACSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
189
click to vote
FOCS
2006
IEEE
16 years 25 days ago
2006
IEEE
Spin systems are a general way to describe local interactions between nodes in a graph. In statistical mechanics, spin systems are often used as a model for physical systems. In c...
137
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...