1967 search results - page 202 / 394 » The Case for Determinism in Database Systems |
182
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
180
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We investigate the effect of packet delays and packet drops on networked control systems. First we consider the problem of where to locate a controller or state estimator in a...
177
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
192
click to vote
ISRR
2001
Springer
15 years 11 months ago
2001
Springer
We discuss the role of spatial representations and visual geometries in vision-based navigation. To a large extent, these choices determine the complexity and robustness of a given...
185
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...