Sciweavers

1402 search results - page 121 / 281
» Distributed Integrity Checking for Systems with Replicated D...
Sort
View
160
Voted
FORMATS
2007
Springer
15 years 7 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
145
Voted
DEBS
2008
ACM
15 years 5 months ago
Replica placement for high availability in distributed stream processing systems
A significant number of emerging on-line data analysis applications require the processing of data streams, large amounts of data that get updated continuously, to generate output...
Thomas Repantis, Vana Kalogeraki
122
Voted
WCRE
2010
IEEE
15 years 2 months ago
Visually Supporting Source Code Changes Integration: The Torch Dashboard
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
Veroonica Uquillas Gomez, Stéphane Ducasse,...
196
Voted
SIGMOD
2006
ACM
89views Database» more  SIGMOD 2006»
16 years 3 months ago
"A veritable bucket of facts" origins of the data base management system
The data base concept derives from early military on-line systems, and was not originally associated with the specific technologies of modern data base management systems. While t...
Thomas Haigh
166
Voted
SEBD
2003
159views Database» more  SEBD 2003»
15 years 5 months ago
Spatial Tree Logics to reason about Semistructured Data
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
Giovanni Conforti, Giorgio Ghelli