2909 search results - page 497 / 582 » Consistency of the theory of contexts |
185
click to vote
IPSN
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we present a wireless sensor platform designed for processing multipoint human motion with low latency and high resolution. One application considered here is inter...
190
click to vote
TARK
2007
Springer
16 years 14 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
173
click to vote
CASES
2006
ACM
16 years 10 days ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
168
click to vote
PODC
2006
ACM
16 years 10 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
198
click to vote
SACMAT
2006
ACM
16 years 9 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...