1060 search results - page 62 / 212 » Mechanized semantics |
WIDM
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes a framework for ontology-based flexible discovery of Semantic Web services. The proposed approach relies on user-supplied, context-specific mappings from an...
BPM
2005
Springer
15 years 3 months ago
2005
Springer
The growing number of web services advocates distributed discovery infrastructures which are semantics-enabled and support quality of service (QoS). In this paper, we introduce a n...
DAGSTUHL
2003
14 years 11 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
GPC
2008
Springer
14 years 11 months ago
2008
Springer
The combination of mobile and Grid computing enables high performance Grid access through resource-limited mobile devices. Many challenges require to be addressed before vision of ...
110
click to vote
JAPLL
2007
14 years 9 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...