671 search results - page 82 / 135 » On Observing and Constraining Active Systems |
86
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
105
Voted
NSPW
2003
ACM
15 years 6 months ago
2003
ACM
Locality as a unifying concept for understanding the normal behavior of benign users of computer systems is suggested as a unifying paradigm that will support the detection of mal...
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
Feature interactions (FIs, in short) occur when features of different communication services interfere with each other. The FI filtering is a pre-processing before the FI detecti...
113
Voted
ICANN
2010
Springer
15 years 1 months ago
2010
Springer
Learning processes allow the central nervous system to learn relationships between stimuli. Even stimuli from different modalities can easily be associated, and these associations ...
TFS
2008
15 years 17 days ago
2008
Fuzzy interpolation does not only help to reduce the complexity of fuzzy models, but also makes inference in sparse rule-based systems possible. It has been successfully applied to...