17082 search results - page 292 / 3417 » Abstractions for Mobile Computation |
124
Voted
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
157
click to vote
DALT
2008
Springer
15 years 6 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
148
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present our pedagogical and technological approach for supporting the design of novel situated learning activities that can be conducted both, outside the school ...
109
click to vote
UIST
2003
ACM
15 years 9 months ago
2003
ACM
This research explores distributed sensing techniques for mobile devices using synchronous gestures. These are patterns of activity, contributed by multiple users (or one user wit...
134
click to vote
TPDS
2002
15 years 3 months ago
2002
This paper addresses the problem of reliably multicasting Web resources across wireless local area networks (WLANs) in support of collaborative computing applications. An adaptive ...