18090 search results - page 210 / 3618 » Computing by Only Observing |
141
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
This paper identifies requirements for querying and accessing context information in mobile and pervasive computing environments. Furthermore it studies existing query languages s...
170
click to vote
ICRA
2008
IEEE
16 years 26 days ago
2008
IEEE
— In this paper we present a polynomial Navigation Function (NF) for a sphere world that can be constructed almost locally, with partial knowledge of the environment. The present...
195
click to vote
ASIACRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we consider the problem of mutually authenticated key exchanges between a low-power client and a powerful server. We show how the Jakobsson-Pointcheval sch...
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
227
click to vote
TCC
2012
Springer
14 years 2 months ago
2012
Springer
We propose a 2-party UC-secure protocol that can compute any function securely. The protocol requires only two messages, communication that is poly-logarithmic in the size of the ...