1348 search results - page 118 / 270 » A Temporal Programming Language for Heterogeneous Informatio... |
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
In dynamic heterogeneous environments, such as Pervasive Computing, context-aware adaptation is a key concept to meet the varying requirements of different clients. To enable such...
GEOINFO
2004
13 years 10 months ago
2004
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...
UM
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we investigate the utility of providing users with the system’s rationale in a mixed-initiative system for GUI customization. An evaluation comparing a version of ...
LCR
2000
Springer
14 years 16 days ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
LOGCOM
2010
13 years 3 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...