1302 search results - page 169 / 261 » Deductive Plan Generation |
130
click to vote
JCP
2008
15 years 2 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...
107
click to vote
SIGMOD
2003
ACM
16 years 2 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
15 years 9 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 ...
148
Voted
ICNSC
2007
IEEE
15 years 8 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
15 years 8 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...