8 search results - page 1 / 2 » Toward a Logical Architecture for Situation Dependent Inform... |
GCC
2007
Springer
13 years 6 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
JWSR
2007
13 years 4 months ago
2007
Context-aware Web service is an interactive model between the context of service requesters and the services in Web-enabled environments. We envision that providing context-aware ...
RULEML
2005
Springer
13 years 10 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
MKM
2007
Springer
13 years 11 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...