2580 search results - page 199 / 516 » Systems for human-powered mobile computing |
168
Voted
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
138
click to vote
AINTEC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we will build a fault-tolerant network using a Multiple Care-of Addresses registration implementation on NEPL (NEMO Platform for Linux) for the GNU/Linux Operating S...
132
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
119
click to vote
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we propose a system for contextaware battery management that warns the user when it detects that the phone battery can run out before the next charging opportunity ...
163
click to vote
SAINT
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a system that enables applications to discover and obtain information that describes the context of a particular entity (e.g., a user or a device). Our system revolves ...