2293 search results - page 118 / 459 » Temporal Logic in Information Systems |
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
RTSS
1996
IEEE
15 years 2 months ago
1996
IEEE
In this paper, issues involved in the design of a real-time database which maintains data temporal consistency are discussed. The concept of data-deadline is introduced and time co...
CSL
2006
Springer
15 years 1 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a system that can build appearance models of animals automatically from a video sequence of the relevant animal with no explicit supervisory information. The ...