3515 search results - page 494 / 703 » On the semantics of Strategy Logic |
223
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
201
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
213
click to vote
LOPSTR
2007
Springer
16 years 1 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
227
Voted
APWEB
2005
Springer
16 years 1 months ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
162
click to vote
CONCUR
2005
Springer
16 years 29 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...