Sciweavers

4385 search results - page 65 / 877
» Abstraction for Concurrent Objects
Sort
View
88
Voted
POS
1998
Springer
15 years 3 months ago
Concurrency - The Fly in the Ointment?
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
Stephen Blackburn, John N. Zigman
184
Voted
ICDE
2008
IEEE
214views Database» more  ICDE 2008»
16 years 9 days ago
Adjourn State Concurrency Control Avoiding Time-Out Problems in Atomic Commit Protocols
Abstract-- The use of atomic commit protocols in mobile adhoc networks involves difficulties in setting up reasonable timeouts for aborting a pending distributed transaction. This ...
George Samaras, Martin Hett, Panos K. Chrysanthis,...
95
Voted
TCC
2007
Springer
125views Cryptology» more  TCC 2007»
15 years 5 months ago
Concurrently-Secure Blind Signatures Without Random Oracles or Setup Assumptions
Abstract. We show a new protocol for blind signatures in which security is preserved even under arbitrarily-many concurrent executions. The protocol can be based on standard crypto...
Carmit Hazay, Jonathan Katz, Chiu-Yuen Koo, Yehuda...
72
Voted
SCANGIS
2003
15 years 8 days ago
Concurrency Control in Distributed Geographical Database Systems
Abstract. This paper discusses concurrency control in distributed geographical database systems. A geographic data server providing transactional services must be designed to handl...
Gjermund Hanssen
FSTTCS
2005
Springer
15 years 4 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...