1375 search results - page 53 / 275 » SDL-2000: A Language with a Formal Semantics |
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
153
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
140
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
165
click to vote
IS
2006
15 years 6 months ago
2006
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
173
click to vote
ICLP
1995
Springer
15 years 9 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...