6016 search results - page 93 / 1204 » The semantics of graphical languages |
144
click to vote
GI
2010
Springer
15 years 1 months ago
2010
Springer
: Even though service discovery is one of the vital steps in Web service invocation, service requests are usually expressed by rather simple means. While syntax-based service descr...
138
click to vote
JOLLI
2007
15 years 4 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
229
click to vote
VLDB
2006
ACM
16 years 4 months ago
2006
ACM
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...
129
click to vote
EMSOFT
2003
Springer
15 years 9 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 ...
132
Voted
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...