2580 search results - page 151 / 516 » Systems for human-powered mobile computing |
135
Voted
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
126
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
136
click to vote
IBPRIA
2005
Springer
15 years 9 months ago
2005
Springer
A practical way for obtaining depth in computer vision is the use of structured light systems. For panoramic depth reconstruction several images are needed which most likely implie...
121
Voted
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
150
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Moving around our physical environment, we are surrounded and interact with information that exhorts and stimulates us to buy things. For most of us, not all of these impulses are...