2607 search results - page 108 / 522 » On the Architecture of System Verification Environments |
140
click to vote
ATAL
2009
Springer
16 years 29 days ago
2009
Springer
We present a demonstration of a multi-agent prototype for distributed planning and coordination in dynamic non-deterministic multi-actor mixed-initiative environments. The system ...
138
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
174
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Biomedical systems involve complex interactions between diverse components. Problem solving in such systems requires insight, i.e. the capability to make non-obvious connections. I...
177
click to vote
IVA
2005
Springer
15 years 12 months ago
2005
Springer
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
163
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...