166 search results - page 18 / 34 » A Software Fault Tree Approach to Requirements Analysis of a... |
355
Voted
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
175
click to vote
CNIS
2006
15 years 7 months ago
2006
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...
189
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
155
click to vote
ISPASS
2009
IEEE
16 years 24 days ago
2009
IEEE
Modern network devices employ deep packet inspection to enable sophisticated services such as intrusion detection, traffic shaping, and load balancing. At the heart of such servi...
166
click to vote
COMCOM
2004
15 years 5 months ago
2004
To protect a network, secure network systems such as intrusion detection system (IDS) and firewall are often installed to control or monitor network traffic. These systems often i...