3564 search results - page 29 / 713 » Evaluating a Formal Modelling Language |
139
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
166
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
154
click to vote
CPAIOR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
229
click to vote
SBMF
2010
Springer
15 years 19 days ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
175
click to vote
ICALP
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...