10159 search results - page 237 / 2032 » System Design Validation Using Formal Models |
116
click to vote
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
126
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
134
click to vote
MAGS
2008
15 years 3 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
TC
2002
15 years 2 months ago
2002
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...
101
click to vote
ICDS
2009
IEEE
15 years 10 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...