481 search results - page 1 / 97 » Model Checking Abstract State Machines and Beyond |
139
Voted
ASM
2000
ASM
15 years 10 months ago
2000
ASM
161
Voted
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
122
Voted
JUCS
2008
15 years 5 months ago
2008
149
Voted
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
160
Voted
SIGCOMM
2006
ACM
15 years 11 months ago
2006
ACM
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...