1284 search results - page 164 / 257 » Abstract Processes in Orchestration Languages |
132
Voted
LADS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Using a knowledge-based approach we adjust a knowledgebased algorithm for multi-agent communication for the process of cooperative problem solving (CPS). The knowledge-ba...
140
Voted
POPL
1995
ACM
15 years 8 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
137
click to vote
ICLP
2007
Springer
15 years 10 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)...
227
click to vote
VLDB
2004
ACM
16 years 4 months ago
2004
ACM
Abstract This paper describes the design, implementation, and performance characteristics of a commercial XQuery processing engine, the BEA streaming XQuery processor. This XQuery ...
138
Voted
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...