4595 search results - page 772 / 919 » Reasoning about Plans |
ICDIM
2007
IEEE
13 years 9 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to act as enablers of seamless application-to-application integration both within company ...
C++
1994
13 years 10 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
ACTA
2010
13 years 9 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
ASE
2008
13 years 9 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
ASE
2008
13 years 9 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...