8398 search results - page 1063 / 1680 » Optimal Software Testing |
216
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
198
click to vote
IDMS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
222
click to vote
GROUP
1995
ACM
15 years 11 months ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
209
click to vote
ISAAC
1995
Springer
15 years 11 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
169
click to vote
AIIDE
2008
15 years 9 months ago
2008
OpenNERO is an open source game platform designed for game AI research. The software package combines features commonly available in modern game engines (such as 3D graphics, phys...