887 search results - page 36 / 178 » Automated Detection of Design Patterns |
HAPTICS
2005
IEEE
14 years 4 months ago
2005
IEEE
Interest in the use of tactile information displays has grown rapidly in recent years. However, relatively little research has been conducted to explore any cognitive and/or atten...
AINA
2010
IEEE
14 years 3 months ago
2010
IEEE
—Network Intrusion Detection System (NIDS) is a system which can detect network attacks resulted from worms and viruses on the Internet. An efficient pattern matching algorithm p...
BELL
2000
13 years 10 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
ANCS
2007
ACM
14 years 2 months ago
2007
ACM
Due to the advantages of easy re-configurability and scalability, the memory-based string matching architecture is widely adopted by network intrusion detection systems (NIDS). In...
HF
2002
13 years 10 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...