1992 search results - page 140 / 399 » Model Based Testing with Labelled Transition Systems |
131
click to vote
RAID
2004
Springer
15 years 8 months ago
2004
Springer
Anomaly detection is a promising approach to detecting intruders masquerading as valid users (called masqueraders). It creates a user profile and labels any behavior that deviates...
208
Voted
FMOODS
2008
15 years 4 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
140
click to vote
ICANN
2009
Springer
15 years 8 months ago
2009
Springer
Recurrent neural networks serve as black-box models for nonlinear dynamical systems identification and time series prediction. Training of recurrent networks typically minimizes t...
122
click to vote
KI
2007
Springer
15 years 9 months ago
2007
Springer
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signi...
121
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...