2607 search results - page 64 / 522 » On the Architecture of System Verification Environments |
111
click to vote
PDP
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Execution of applications on upcoming highperformance computing (HPC) systems introduces a variety of new challenges and amplifies many existing ones. These systems will...
106
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
LREC
2008
15 years 1 months ago
2008
This paper presents a freely available, and flexible Wizard of Oz environment for rapid prototyping. The system is designed to investigate the required features of a dialog system...
DEXAW
2003
IEEE
15 years 5 months ago
2003
IEEE
Autonomic Computing is a promising new concept in system development. It aims to (i) increase reliability by designing systems to be self-protecting and self-healing; and (ii) inc...
CASCON
2006
15 years 1 months ago
2006
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...