3765 search results - page 321 / 753 » Formal Methods for Systems Engineering Behavior Models |
170
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
178
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
195
Voted
ENTCS
2006
15 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
182
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we pose a novel research problem for machine learning that involves constructing a process model from continuous data. We claim that casting learned knowledge in ter...
201
click to vote
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...