Sciweavers

2985 search results - page 448 / 597
» Indexing Distributed Complex Data for Complex Queries
Sort
View
JUCS
2007
104views more  JUCS 2007»
15 years 5 months ago
Achieving Atomicity for Web Services Using Commutativity of Actions
: Web Services enable the creation of complex business activities through the cooperation of independently developed software programs. However, Web Services incur the risk of long...
P. Michael Melliar-Smith, Louise E. Moser
FMSD
2002
114views more  FMSD 2002»
15 years 4 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
WAIM
2010
Springer
15 years 3 months ago
HyperGraphDB: A Generalized Graph Database
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
Borislav Iordanov
ICDCS
2007
IEEE
15 years 11 months ago
Stabilizing Peer-to-Peer Spatial Filters
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
Silvia Bianchi, Ajoy Kumar Datta, Pascal Felber, M...
144
Voted
INFOCOM
2003
IEEE
15 years 10 months ago
Chaotic Maps as Parsimonious Bit Error Models of Wireless Channels
Abstract—The error patterns of a wireless digital communication channel can be described by looking at consecutively correct or erroneous bits (runs and bursts) and at the distri...
Andreas Köpke, Andreas Willig, Holger Karl