1895 search results - page 292 / 379 » Using ATL for Checking Models |
129
click to vote
AAAI
1996
15 years 3 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
101
click to vote
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
116
click to vote
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
101
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
125
click to vote
ENTCS
2010
15 years 2 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...