1283 search results - page 159 / 257 » A Survey on Temporal Logics |
168
click to vote
CLIMA
2008
15 years 7 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
130
click to vote
ACL
1992
15 years 7 months ago
1992
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...
192
click to vote
CAISE
2009
Springer
16 years 29 days ago
2009
Springer
Projects are the executors of organizational change and hence in charge of the managed evolution of the application landscape in the context of enterprise architecture (EA) managem...
191
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...