1302 search results - page 169 / 261 » Deductive Plan Generation |
JCP
2008
13 years 10 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
SIGMOD
2003
ACM
14 years 10 months ago
2003
ACM
Decision-support applications generate queries with complex predicates. We show how the factorization of complex query expressions exposes significant opportunities for exploiting...
CSEE
2009
Springer
14 years 4 months ago
2009
Springer
Since publication of the 2004 version, the Software Engineering Body of Knowledge (SWEBOK) has notably served as a major input to the design of curricula at the undergraduate and ...
ICNSC
2007
IEEE
14 years 4 months ago
2007
IEEE
—This paper presents ceiling light landmarks based localization and motion control for a mobile robot. The novel mechanism design for the mobile robot is introduced, and the meth...
CAISE
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a peer-to-peer approach to execution of BPEL processes. It does not pre-allocate resources as in existing decentralized approaches. Nor does it involve global c...