2607 search results - page 314 / 522 » On the Architecture of System Verification Environments |
197
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) ...
216
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
Multimedia data mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project is devoted to creating a community of re...
157
Voted
ICMCS
2007
IEEE
16 years 28 days ago
2007
IEEE
As more and more tools are developed for meeting support tasks, properly using these tools to get expected results becomes too complicated for many meeting participants. To addres...
143
click to vote
SAMOS
2005
Springer
16 years 3 days ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
180
click to vote
IJHCI
2002
15 years 6 months ago
2002
This article describes automated tools for increasing organizational awareness within a global enterprise. The MITRE Corporation is the context for the current work, however the t...