4595 search results - page 311 / 919 » Reasoning about Plans |
236
Voted
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
218
click to vote
NFM
2011
15 years 2 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
197
click to vote
CSL
2006
Springer
15 years 11 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
192
Voted
WISE
2005
Springer
16 years 1 months ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
193
click to vote
SEMWEB
2005
Springer
16 years 29 days ago
2005
Springer
This application demonstrates how to provide personalized, syndicated views on distributed web data using Semantic Web technologies. The application comprises four steps: The infor...