3765 search results - page 193 / 753 » Formal Methods for Systems Engineering Behavior Models |
202
click to vote
TSMC
2008
15 years 5 months ago
2008
This paper explores the issues faced in creating a sys-4 tem that can learn tactical human behavior merely by observing5 a human perform the behavior in a simulation. More specific...
176
click to vote
DIMVA
2008
15 years 8 months ago
2008
Malicious software in form of Internet worms, computer viruses, and Trojan horses poses a major threat to the security of networked systems. The diversity and amount of its variant...
169
click to vote
APN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
204
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
178
click to vote
ENTCS
2008
15 years 6 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...