2520 search results - page 332 / 504 » Model-checking behavioral programs |
110
click to vote
ACSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
106
click to vote
SIGCSE
1999
ACM
15 years 6 months ago
1999
ACM
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
132
click to vote
SPDP
1993
IEEE
15 years 6 months ago
1993
IEEE
This paper examines how the performance of a shared-memory multiprocessor can be improved by including hardware support for block transfers. A system similar to the Hector multipr...
108
Voted
FIDJI
2004
Springer
15 years 6 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
127
Voted
SODA
2008
ACM
15 years 3 months ago
2008
ACM
We show how to find a normal form proper equilibrium in behavior strategies of a given two-player zero-sum extensive form game with imperfect information but perfect recall. Our a...