Sciweavers

1146 search results - page 153 / 230
» Semantics of Data Streams and Operators
Sort
View
DOLAP
2005
ACM
15 years 6 months ago
Towards a spatial multidimensional model
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
Sandro Bimonte, Anne Tchounikine, Maryvonne Miquel
TABLEAUX
2009
Springer
15 years 11 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
16 years 1 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
OSDI
2002
ACM
16 years 4 months ago
Taming Aggressive Replication in the Pangaea Wide-Area File System
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
Yasushi Saito, Christos T. Karamanolis, Magnus Kar...
DBKDA
2010
IEEE
137views Database» more  DBKDA 2010»
15 years 9 months ago
Optimistic Synchronization of Cooperative XML Authoring Using Tunable Transaction Boundaries
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
Francis Gropengießer, Kai-Uwe Sattler