2467 search results - page 105 / 494 » Finite State Machines |
152
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
149
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
166
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
152
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Application-level protocol specifications are helpful for network security management, including intrusion detection, intrusion prevention and detecting malicious code. However, c...
164
Voted
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...