Sciweavers

2678 search results - page 452 / 536
» Operational Semantics of Transactions
Sort
View
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
16 years 2 months ago
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
David DeHaan, David Toman, Mariano P. Consens, M. ...
116
Voted
EDBT
2002
ACM
145views Database» more  EDBT 2002»
16 years 1 months ago
Incremental Maintenance of Schema-Restructuring Views
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...
Andreas Koeller, Elke A. Rundensteiner
EDBT
2006
ACM
144views Database» more  EDBT 2006»
16 years 1 months ago
Towards Expressive Publish/Subscribe Systems
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
Alan J. Demers, Johannes Gehrke, Mingsheng Hong, M...
EDBT
2008
ACM
202views Database» more  EDBT 2008»
16 years 1 months ago
BeMatch: a platform for matchmaking service behavior models
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
Juan Carlos Corrales, Daniela Grigori, Mokrane Bou...
111
Voted
ICFP
2008
ACM
16 years 1 months ago
Typed closure conversion preserves observational equivalence
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
Amal Ahmed, Matthias Blume