2004 search results - page 237 / 401 » Comparison of Model Checking Tools for Information Systems |
122
click to vote
WSC
1998
15 years 6 months ago
1998
This paper discusses the evaluation of the electronic cash counterfeit threat scenarios using micro dynamic simulation. This modeling technique provides information needed for the...
166
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
135
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
134
click to vote
KDD
2005
ACM
16 years 5 months ago
2005
ACM
Online information services have grown too large for users to navigate without the help of automated tools such as collaborative filtering, which makes recommendations to users ba...
127
Voted
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...