3281 search results - page 343 / 657 » An Approach to use Executable Models for Testing |
119
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
168
click to vote
APN
2001
Springer
15 years 9 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
139
click to vote
STTT
2010
14 years 11 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
126
click to vote
ICAIL
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...
162
Voted
CN
2007
15 years 4 months ago
2007
: Intrusion detection systems continuously watch the activity of a network or computer, looking for attack or intrusion evidences. However, hostbased intrusion detectors are partic...