3281 search results - page 435 / 657 » An Approach to use Executable Models for Testing |
199
click to vote
ISCA
2011
IEEE
14 years 8 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
181
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a distributed planning and control architecture for autonomous Multi-Manipulator Systems (MMS). The control architecture is implemented using an agent-based ap...
190
Voted
ESWS
2009
Springer
15 years 2 months ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
123
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
We propose and test an objective criterion for evaluation of clustering performance: How well does a clustering algorithm run on unlabeled data aid a classification algorithm? The...
167
click to vote
VR
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...