3972 search results - page 276 / 795 » Palpability Support Demonstrated |
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
GECON
2010
Springer
13 years 10 months ago
2010
Springer
Success of Cloud computing requires that both customers and providers can be confident that signed Service Level Agreements (SLA) are supporting their respective business activitie...
GIS
2008
ACM
13 years 10 months ago
2008
ACM
Location-based services are increasingly popular and it is a key challenge to efficiently support query processing. We present a novel design to process large numbers of location...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Context awareness is the most important research area in ubiquitous computing. In particular, for smart home, context awareness attempts to bring the best services to the home hab...
DSS
2008
13 years 9 months ago
2008
While small-scale search engines in specific domains and languages are increasingly used by Web users, most existing search engine development tools do not support the development...