52 search results - page 7 / 11 » Web Service Contracting: Specification and Reasoning with SC... |
IDMS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
RULEML
2005
Springer
14 years 4 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...
AI
2003
Springer
14 years 4 months ago
2003
Springer
Private information about individuals that engage in e-commerce business transactions is of economic value to businesses for market analysis and for identifying possible future par...
FAABS
2000
Springer
14 years 2 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
HCI
2001
14 years 4 days ago
2001
The great variety of users of the services available on the internet raised the problem of finding flexible forms of presentation and interaction, which depend on the specific user...