206 search results - page 31 / 42 » Dynamic Linear Time Temporal Logic |
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
FODO
1998
Springer
13 years 11 months ago
1998
Springer
In object-oriented database systems (OODB) with logical OIDs, an OID index (OIDX) is needed to map from OID to the physical location of the object. In a transaction time temporal ...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
TASLP
2010
13 years 5 months ago
2010
—This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our ...
FORMATS
2003
Springer
14 years 21 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...