2714 search results - page 16 / 543 » Model comparison with GenericDiff |
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
WSC
1998
13 years 9 months ago
1998
The execution of distributed simulations has become increasingly important to the Department of Defense (DOD). This paper compares three architectures for supporting distributed c...
ENTCS
2006
13 years 7 months ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
ADHOCNOW
2006
Springer
14 years 1 months ago
2006
Springer
In mobile ad hoc network research, simulation plays an important role in determining the network characteristics and measuring performance. On the other hand, unrealistic simulatio...