2082 search results - page 416 / 417 » Change Paths in Reasoning! |
92
Voted
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...
177
Voted
COSIT
2011
Springer
13 years 10 months ago
2011
Springer
With the increasing success and commercial integration of Volunteered Geographic Information (VGI), the focus shifts away from coverage to data quality and homogeneity. Within the ...
116
Voted
PLDI
2012
ACM
13 years 21 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
118
Voted
ICDE
2012
IEEE
13 years 21 days ago
2012
IEEE
—This paper investigates the problem of incremental detection of errors in distributed data. Given a distributed database D, a set Σ of conditional functional dependencies (CFDs...
123
Voted
ISSTA
2012
ACM
13 years 21 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...