1660 search results - page 136 / 332 » A Behavior Model for Next Generation Test Systems |
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
AAAI
2006
14 years 11 months ago
2006
Unmotivated students do not reap the full rewards of using a computer-based intelligent tutoring system. Detection of improper behavior is thus an important component of an online...
KDD
2003
ACM
15 years 10 months ago
2003
ACM
We present and evaluate a NIC-based network intrusion detection system. Intrusion detection at the NIC makes the system potentially tamper-proof and is naturally extensible to wor...
WSC
2007
15 years 9 days ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...