Sciweavers

2911 search results - page 341 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
ENTCS
2008
116views more  ENTCS 2008»
15 years 2 months ago
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
Michele Baggi, Demis Ballis
ENTCS
2007
107views more  ENTCS 2007»
15 years 1 months ago
Applications = Components + GLoo
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
Markus Lumpe
RML
2002
94views Business» more  RML 2002»
15 years 1 months ago
The situation manager rule language
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...
Asaf Adi, Opher Etzion
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 12 days ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
PVLDB
2010
125views more  PVLDB 2010»
15 years 9 days ago
The Impact of Virtual Views on Containment
Virtual views are a mechanism that facilitates re-use and makes queries easier to express. However the use of iterative view definitions makes very simple query evaluation and an...
Michael Benedikt, Georg Gottlob