2678 search results - page 290 / 536 » Operational Semantics of Transactions |
140
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose four architectures for intrusion-tolerant database systems. While traditional secure database systems rely on prevention controls, an intrusion-tolerant ...
173
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Parallel programs that modify shared data in a cachecoherent multiprocessor with a write-invalidate coherence protocol create ownership overhead in the form of ownership acquisiti...
149
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
A number of recent systems have provided rich facilities for manipulating the timelines of applications. Such timelines represent the history of an application’s use in some ses...
166
click to vote
ICS
1998
Tsinghua U.
15 years 11 months ago
1998
Tsinghua U.
In this paper we propose the OPTNET, a novel optical network and associated coherence protocol for scalable multiprocessors. The network divides its channels into broadcast and po...
181
click to vote
COOPIS
1996
IEEE
15 years 10 months ago
1996
IEEE
A federated database is comprised of multiple interconnected database systems that primarily operate independently but cooperate to a certain extent. Global integrity constraints c...