3898 search results - page 193 / 780 » Maintaining Component-Based Systems |
146
click to vote
TIME
2005
IEEE
16 years 10 hour ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
161
click to vote
STORAGESS
2005
ACM
15 years 12 months ago
2005
ACM
In this paper we describe the design for the Pvault software, which is a personal data manager that stores and retrieves data from a remote untrusted data server securely. The maj...
159
click to vote
DBISP2P
2005
Springer
15 years 12 months ago
2005
Springer
Structured peer-to-peer systems rely on replication as a basic means to provide fault-tolerance in presence of high churn. Most select replicas using either multiple hash functions...
187
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...
156
click to vote
MDM
2001
Springer
15 years 11 months ago
2001
Springer
Sensor networks are being widely deployed for measurement, detection and surveillance applications. In these new applications, users issue long-running queries over a combination o...