A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Relaxed-currency serializability for middle-tier caching and replication
2006
Proceedings of the 2006 ACM SIGMOD international conference on Management of data - SIGMOD '06
Preserved Fulltext
We outline a serializability-theoretic correctness proof and present the results of a detailed performance study. ...
We offer a definition of correctness for this model and present algorithms to ensure several of the most interesting freshness constraints. ...
A correct execution of a physical system is called relaxed-currency (RC) serializable. ...
doi:10.1145/1142473.1142540
dblp:conf/sigmod/BernsteinFGRT06
fatcat:azwmlwu6yzdt7a5bowerkg6pse
Strongly consistent replication for a bargain
2010
2010 IEEE 26th International Conference on Data Engineering (ICDE 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We implement a prototype replicated database system and incorporate the proposed techniques for providing strong consistency. ...
Strong consistency is an important correctness property for replicated databases. It ensures that each transaction accesses the latest committed database state as provided in centralized databases. ...
ACKNOWLEDGMENTS We thank Antony Rowstron (Microsoft Research), Alan Fekete (University of Sydney), and Fernando Pedone (University of Lugano) for their insightful suggestions and valuable feedback. ...
doi:10.1109/icde.2010.5447893
dblp:conf/icde/KrikellasEVH10
fatcat:aur6rpqnyvcyvnw3yz7adfw5ty
Snapshot isolation and integrity constraints in replicated databases
2009
ACM Transactions on Database Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The traditional correctness criterion for the concurrent execution of transactions in a replicated database is 1-copy-serializability. ...
We discuss a set of necessary and sufficient conditions for a replicated history to be producible under 1-copy-SI. ...
ACKNOWLEDGEMENTS We want to thank the anonymous reviewers for their insightful reviews and many constructive suggestions. They helped us tremendously in improving this paper. ...
doi:10.1145/1538909.1538913
fatcat:2ukmlpffb5awhhshlplt3fdmfy
Architecture of a Database System
2007
Foundations and Trends in Databases
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In other cases, the client may communicate with a "middle-tier server" (a web server, transaction processing monitor, or the like), which in turn uses a protocol to proxy the communication between the ...
This is usually called a "three-tier" system. In many webbased scenarios there is yet another "application server" tier between the web server and the DBMS, resulting in four tiers. ...
Muralidhar, Pat Selinger, Mehul Shah, and Matt Welsh for background information and comments on early drafts of this paper. ...
doi:10.1561/1900000002
fatcat:ve6wkgbgrngppk3cjcbfsevuye
Execution Models
[chapter]
2006
Service-Oriented Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The notion of serializability can potentially be relaxed depending on the application domain. This relaxation can be valid based on the data types that the application uses. ...
BTP relaxes the ACID properties via two subprotocols: (1) atoms, where isolation is relaxed, and (2) cohesions, where both isolation and atomicity are relaxed. ...
Appendix A
XML and XML Schema As shown in Figure A .1, the foundation for interoperation among enterprises and for the envisioned Semantic Web is the eXtensible Markup Language, XML. ...
doi:10.1002/0470091509.ch10
fatcat:2jdemglma5gtre5xkxtzck45am
Data Provenance
2019
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this paper, we establish conditions under which a commonly used sufficient condition for invariant confluence is both necessary and sufficient, and we use this condition to design a general-purpose ...
We then take a step beyond invariant confluence and introduce a generalization of invariant confluence, called segmented invariant confluence, that allows us to replicate non-invariant confluent objects ...
The content is solely the responsibility of the authors and does not necessarily represent the official views of the NIH. We thank NVIDIA Corporation for donating the Titan Xp GPU used for this work. ...
doi:10.1145/3316416.3316418
fatcat:u4lmbha4fjgajlc46r66ryh7vi
Linear Scalability of Distributed Applications
2011
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Also, a single failure in Memcached may result in disabling
entirely the caching tier with serious performance losses for cache restora-
tion. ii) In Memcached, even if a popular data is cached, there ...
Linearizability, or one-copy serializability [64], ensures
that operations are serializable and applied in a consistent order. ...
doi:10.5075/epfl-thesis-5278
fatcat:cqwluzkzojgozb362zlaxt3z4e
Using complexity to protect elections
2010
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The Fermi architecture can confi gure its 64KB of per-SM memory as either a 16KB L1 cache and 48KB RAM or a 48KB L1 cache and 16KB RAM. It also provides a global 768KB L2 cache shared by all SMs. ...
These computing paradigms gave way in turn to n-tier and grid computing and to various types of virtualization. ...
for three references. ...
doi:10.1145/1839676.1839696
fatcat:hbqpm5boabe3jcpa4jcs7czf6y
A new approach to meeting scheduling based on mobile code
2001
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
When Voyager loads the bytecode of a new class for the rst time, it keeps a copy in a cache. Next time the class must be instantiated, it is not reloaded but the cached copy is used. ...
Caching Caching implies duplication of data, and hence, the necessity to update or invalidate the replica when the original data is changed or deleted. ...
Using Voyager's support for \mobile autonomous agents" (ObjectSpace, Inc., 1999), it is not di cult to implement extensions and to install them on the running service. ...
doi:10.13097/archive-ouverte/unige:119
fatcat:6jfc2t4zzjdrzog5bxtvjx3ucq
Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022) Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031) Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)
2015
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The example problems mentioned in this report may serve as a first benchmark for such approaches. ...
associated optimization models, and the development and critical evaluation of efficient solution methods. ...
Janus is a system for partitioning the flash storage tier between workloads in a cloud-scale distributed file system with two tiers, flash storage and disk. ...
fatcat:ckaercgotnenhidbwsz7zufttq
Contract-based web service composition
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
language, and 3) Automatic service composition by treating automated and dynamic selection of composition partners as a search problem and developing search algorithms for that purpose. ...
properties, a viable solution for service composition can be developed (composable service architecture), that supports: 1) Extended descriptive and search capabilities by developing contract-based description ...
I am also grateful to my familly for their understanding, support, patience and love. ...
doi:10.18452/15490
fatcat:ohtrwlpbirawdj24bnrfvio2j4
In pursuit of streamable stylesheet functions in XSLT 3.0
Proceedings of Balisage: The Markup Conference 2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The platform is used today as a multi-channel communication platform that helps enterprises worldwide improve their customer communications, leading to increased customer engagement and loyalty. ...
The first and third part is a static text, the middle part uses XPath to address a node in the data. ...
Today's RDF and XML architectures all are of the n-tier variety. ...
doi:10.4242/balisagevol13.braaksma01
fatcat:fheervshljapjkzyjyoo25yhxm
An event- and repository-based component framework for workflow system architecture
1999
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The architecture metamodel defines the component and connector abstractions necessary for describing the static and dynamic aspects of a workflow system. ...
furthermore, organizational relations and task assignment policies for these components are declaratively defined. ...
I thank the Swiss National Fund and the Ministry of Education of the Kanton of Zurich for funding my position. ...
doi:10.5167/uzh-73128
fatcat:5qmg5szxwrfxng4qyid3jwhfoq