2678 search results - page 290 / 536 » Operational Semantics of Transactions |
124
Voted
ACSAC
2002
IEEE
15 years 10 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 ...
142
Voted
IPPS
2000
IEEE
15 years 9 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...
125
click to vote
UIST
2000
ACM
15 years 9 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...
138
Voted
ICS
1998
Tsinghua U.
15 years 9 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...
156
Voted
COOPIS
1996
IEEE
15 years 9 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...