1199 search results - page 210 / 240 » Software Verification and Software Engineering a Practitione... |
172
click to vote
AC
1998
Springer
15 years 5 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
196
click to vote
SIMULATION
2011
15 years 27 days ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
267
click to vote
SJ
2011
15 years 27 days ago
2011
—In this paper, we study the resilience of supply networks against disruptions and provide insights to supply chain managers on how to construct a resilient supply network from t...
191
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
170
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...