23201 search results - page 180 / 4641 » Rewriting Systems with Data |
151
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
191
click to vote
FORTE
2010
15 years 8 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...
167
click to vote
CIDR
2009
15 years 7 months ago
2009
In recent years, column stores (or C-stores for short) have emerged as a novel approach to deal with read-mostly data warehousing applications. Experimental evidence suggests that...
177
click to vote
JIIS
2006
15 years 6 months ago
2006
Abstract In recent years, researchers have begun to study inductive databases, a new generation of databases for leveraging decision support applications. In this context, the user...
196
click to vote
PVLDB
2008
15 years 6 months ago
2008
Though inevitable for effective cost-based query rewriting, the derivation of meaningful cardinality estimates has remained a notoriously hard problem in the context of XQuery. By...