169 search results - page 5 / 34 » An automated approach for abstracting execution logs to exec... |
CADE
2008
Springer
14 years 7 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...
ICCBR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...
MEMOCODE
2003
IEEE
14 years 20 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
SMALLTALK
2007
Springer
14 years 1 months ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Much of the research on automated Web Service Composition (WSC) relates it to an AI planning task, where the composition is primarily done offline prior to execution. Rec...