481 search results - page 62 / 97 » Model Checking Abstract State Machines and Beyond |
117
click to vote
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
112
click to vote
PTS
2007
15 years 3 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
117
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—The recently approved IEEE 802.11e standard improves the support for real-time multimedia applications in Wireless LANs. Yet, to provide some level of guarantee in terms...
UML
2001
Springer
15 years 6 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
118
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...