285 search results - page 29 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
136
click to vote
EUSAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
147
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper deals with large, distributed real-time systems that have execution times and resource utilizations which cannot be characterized a priori. (The motivation for our work ...
158
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
109
click to vote
VLDB
1995
ACM
15 years 5 months ago
1995
ACM
New demandsare put on query processing in Object-Oriented(00) databasesto provide efficient andrelationally completequery languages. A flexible 00 data model requires overloading ...
155
click to vote
CP
2003
Springer
15 years 6 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...