2607 search results - page 143 / 522 » On the Architecture of System Verification Environments |
149
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We present the design and implementation of XEBRA system. XEBRA is an integrated programming environment for XML processing and browsing on which users can build their own XML pro...
219
click to vote
STORAGESS
2005
ACM
16 years 3 hour ago
2005
ACM
We describe a novel approach for building a secure and fault tolerant data storage service in collaborative work environments, which uses perfect secret sharing schemes to store d...
176
click to vote
HPCN
1998
Springer
15 years 10 months ago
1998
Springer
An increasing number of science and engineering applications require distributed and parallel computing resources to satisfy user response-time requirements. Distributed science a...
155
click to vote
DAGSTUHL
1993
15 years 7 months ago
1993
Currently, popular operating systems are unable to support the end-toend real-time requirements of distributed continuous media. Furthermore, the integration of continuous media c...
214
click to vote
ICDE
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe the design of Mariposa, an experimental distributed data management system that provides high performance in an environment of high data mobility and heterogeneous hos...