2607 search results - page 474 / 522 » On the Architecture of System Verification Environments |
HICSS
2003
IEEE
14 years 21 days ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
ISSRE
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper presents DARX, our framework for building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent platforms constitute a very strong ...
HT
2003
ACM
14 years 20 days ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
GRID
2003
Springer
14 years 19 days ago
2003
Springer
Data-sharing scientific communities use storage systems as distributed data stores by replicating content. In such highly replicated environments, a particular dataset can reside ...
DSN
2002
IEEE
14 years 11 days ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...