1360 search results - page 67 / 272 » Reasoning on Workflow Executions |
130
Voted
AICOM
2010
15 years 3 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
127
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
107
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
129
Voted
ADC
2004
Springer
15 years 7 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
70
Voted
AIPS
1994
15 years 4 months ago
1994
Facedwith a complicatedtask, someinitial planningcan significantlyincreasethe likelihoodof successandincrease efficiency, butplanningfor toolongbeforestarting to act canreduceeffi...