1849 search results - page 26 / 370 » A Novel Approach Towards Automatic Data Distribution |
109
click to vote
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
PVLDB
2010
14 years 4 months ago
2010
In this paper we present a proposal for the implementation and evaluation of a novel method for automatically using data-rich text for filling form-based input interfaces. Our sol...
114
click to vote
SIGMOD
2012
ACM
12 years 12 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
86
Voted
ICAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
146
click to vote
NOMS
2010
IEEE
14 years 8 months ago
2010
IEEE
—The online detection of anomalies is a vital element of operations in data centers and in utility clouds like Amazon EC2. Given ever-increasing data center sizes coupled with th...