8512 search results - page 252 / 1703 » Computing Theory With Relevance |
198
click to vote
USAB
2010
15 years 3 months ago
2010
Abstract. The ability to move is an important characteristic of the human condition and an important aspect for interactive settings. The role of body movement however was not addr...
136
click to vote
MOBIQUITOUS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
158
Voted
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
154
Voted
DBISP2P
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...
134
Voted
EUROCRYPT
2010
Springer
15 years 10 months ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...