Sciweavers

2678 search results - page 165 / 536
» Operational Semantics of Transactions
Sort
View
149
Voted
FOSSACS
2006
Springer
15 years 9 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
ICDE
2009
IEEE
171views Database» more  ICDE 2009»
16 years 7 months ago
A Framework for Clustering Massive-Domain Data Streams
In this paper, we will examine the problem of clustering massive domain data streams. Massive-domain data streams are those in which the number of possible domain values for each a...
Charu C. Aggarwal
ICDE
2001
IEEE
129views Database» more  ICDE 2001»
16 years 7 months ago
High-Performance, Space-Efficient, Automated Object Locking
The paper studies the impact of several lock manager designs on the overhead imposed to a persistent programming language by automated object locking. Our study reveals that a loc...
Grzegorz Czajkowski, Laurent Daynès
ICEBE
2006
IEEE
115views Business» more  ICEBE 2006»
16 years 2 days ago
From Commodity to Value: A Privacy-Preserving e-Business Architecture
Privacy has been recognized as a very important issue in electronic commerce. However, many privacy techniques were not adopted and many online anonymity services failed. In this ...
Yitao Duan, John F. Canny
SACMAT
2005
ACM
15 years 11 months ago
Adaptive trust negotiation and access control
Electronic transactions regularly occur between business partners in separate security domains. Trust negotiation is an approach that provides an open authentication and access-co...
Tatyana Ryutov, Li Zhou, B. Clifford Neuman, Travi...