13913 search results - page 359 / 2783 » models 2007 |
205
click to vote
EUROGP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
229
click to vote
I3E
2001
15 years 9 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
165
click to vote
SERP
2004
15 years 9 months ago
2004
This paper presents the motivation as well as the development for Dynasty, a 3-D game. Dynasty is a multiplayer 3D first person shooter game that is based in Ancient China. Player...
203
click to vote
AAI
2004
15 years 7 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
185
click to vote
CCE
2008
15 years 7 months ago
2008
We review the use of bond graphs for modeling of physico-chemical processes. We recall that bond graphs define a circuit-type language which root on a thermodynamical consistent d...