5326 search results - page 957 / 1066 » On what we can ensure |
172
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
208
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
161
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
This paper addresses a fundamental and challenging problem with broad applications: efficient processing of region-based promotion queries, i.e., to discover the top-k most inter...
157
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
We will demonstrate a wireless sensor network system for the surveillance of critical areas and properties – e.g. borders. The system consists of up to 10 sensor nodes that moni...
162
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Event-driven control systems provide interesting benefits such as reducing resource utilization. This paper formulates the optimal boundary and regulator design problem that minim...