Sciweavers

1356 search results - page 59 / 272
» A variable-free dynamic semantics
Sort
View
REST
2010
ACM
14 years 11 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
WOLLIC
2009
Springer
15 years 4 months ago
: An Action-Based Logic for Reasoning about Contracts
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
Cristian Prisacariu, Gerardo Schneider
ADBIS
2004
Springer
147views Database» more  ADBIS 2004»
15 years 3 months ago
A Hybrid Keyword Search across Peer-to-Peer Federated Databases
The need for Keyword search in databases is suggested both by Web integration with legacy database management system and by dynamic Web publication. However, it sacrifices the inh...
Jungkee Kim, Geoffrey Fox
CN
2007
123views more  CN 2007»
14 years 10 months ago
Information retrieval in schema-based P2P systems using one-dimensional semantic space
The widespread use of RDF-based information necessitates efficient information retrieval techniques in wide-area networks. In this paper, we present Dynamic Semantic Space, a sche...
Tao Gu, Hung Keng Pung, Daqing Zhang
WWW
2004
ACM
15 years 10 months ago
A semantic matchmaker service on the grid
A fundamental task on the Grid is to decide what jobs to run on what computing resources based on job or application requirements. Our previous work on ontology-based matchmaking ...
Andreas Harth, Stefan Decker, Yu He, Hongsuda Tang...