2607 search results - page 405 / 522 » On the Architecture of System Verification Environments |
169
click to vote
SKG
2006
IEEE
16 years 15 days ago
2006
IEEE
Making a truly useful massively multi-agent system is difficult since the actions of the full ensemble of agents cannot be controlled by designing just one agent. It is critical ...
156
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
Global public computing platforms, such as PlanetLab, grid computing systems, and XenoServers, require facilities for managing trust to allow their participants to interact effect...
140
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
The common paradigm of searching and retrieving information on the Web is based on keyword-based search using one or more search engines, and then browsing through the large numbe...
168
click to vote
USENIX
2004
15 years 7 months ago
2004
The X Window System is the de facto standard graphical environment for Linux and Unix hosts, and is usable on nearly any class of computer one could find today. Its success is par...
199
click to vote
EWSPT
2003
Springer
15 years 11 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...