1888 search results - page 198 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
133
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
135
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
CORR
2007
Springer
15 years 4 months ago
2007
Springer
The Recoil Growth algorithm, proposed in 1999 by Consta et al., is one of the most efficient algorithm available in the literature to sample from a multi-polymer system. While the ...
162
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
149
click to vote
NOMS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...