2607 search results - page 163 / 522 » On the Architecture of System Verification Environments |
144
click to vote
HPCC
2007
Springer
16 years 19 days ago
2007
Springer
We propose a model for describing the parallel performance of multigrid software on distributed memory architectures. The goal of the model is to allow reliable predictions to be m...
133
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Most physically implemented multi-robot controllers are based on extensions of behavior-based systems. While efficient, such techniques suffer from weak representational power. Sy...
169
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
162
click to vote
IJCAI
1989
15 years 7 months ago
1989
The developmentof reasoning systems that can reason and plan in a continuously changing environment is emerging as an important area of research in Arti cial Intelligence. Thispap...
178
click to vote
SEM
2004
Springer
15 years 11 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...