733 search results - page 111 / 147 » Formal Reasoning About Intrusion Detection Systems |
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
104
click to vote
AAAI
2007
15 years 2 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
102
click to vote
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—A major threat to data networks is based on the fact that some traffic can be expensive to classify and filter as it will undergo a longer than average list of filtering rule...
210
click to vote
POPL
2004
ACM
16 years 3 days ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
113
click to vote
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...