2227 search results - page 185 / 446 » Reversibility and Models for Concurrency |
176
click to vote
STOC
2004
ACM
16 years 7 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
153
click to vote
NIME
2004
Springer
15 years 12 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
162
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
186
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...
166
click to vote
MSS
2005
IEEE
16 years 6 days ago
2005
IEEE
We present HSAN - a hybrid storage area network, which uses both in-band (like NFS [13]) and out-of-band virtualization (like SAN FS [10]) access models. HSAN uses hybrid servers ...