2004 search results - page 44 / 401 » Comparison of Model Checking Tools for Information Systems |
116
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
- This paper presents a simulation tool targeted specifically at bang-bang type phase locked loop systems. The aim of this simulator is to quickly and accurately predict important ...
113
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
ICPADS
2005
IEEE
15 years 5 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
103
click to vote
ISIM
2007
15 years 1 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...