572 search results - page 23 / 115 » Test Generation for Intelligent Networks Using Model Checkin... |
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Most test-selection algorithms currently in use with probabilistic networks select variables myopically, that is, test variables are selected sequentially, on a one-by-on...
OSDI
2002
ACM
14 years 9 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
ISMIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...
TOOLS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
CEC
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract-- A novel approach to generating scale-free network topologies is introduced, based on an existing artificial Gene Regulatory Network model. From this model, different int...