276 search results - page 32 / 56 » From Model-Checking to Temporal Logic Constraint Solving |
117
click to vote
VLDB
2002
ACM
15 years 29 days ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
121
click to vote
MEMOCODE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
134
click to vote
OPODIS
2003
15 years 2 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
112
click to vote
AAAI
2006
15 years 2 months ago
2006
Despite the significant progress to extend Markov Decision Processes (MDP) to cooperative multi-agent systems, developing approaches that can deal with realistic problems remains ...
113
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...