5440 search results - page 10 / 1088 » Adapting Applications on the Fly |
CAV
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
FLAIRS
2004
13 years 9 months ago
2004
This paper introduces Sos, a location aware and context sensitive accommodation finding service for mobile citizens who require help finding somewhere to stay when they arrive at ...
IPTPS
2004
Springer
14 years 1 months ago
2004
Springer
— Peer-to-peer computing, the harnessing of idle compute cycles throughout the Internet, offers exciting new research challenges in the converging domains of networking and distr...
JPDC
2006
13 years 7 months ago
2006
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participati...
SI3D
1997
ACM
14 years 1 days ago
1997
ACM
The requirement to change scale frequently is common to many 2D and 3D applications. Users must “zoom in” to examine details and “zoom out” to appreciate the context. This...