3765 search results - page 377 / 753 » Formal Methods for Systems Engineering Behavior Models |
200
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
211
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
181
click to vote
FTCS
1998
15 years 8 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
197
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
144
click to vote
VIZSEC
2004
Springer
16 years 4 days ago
2004
Springer
We present an approach to user re-authentication based on the data collected from the computer’s mouse device. Our underlying hypothesis is that one can successfully model user ...