1472 search results - page 188 / 295 » On Model Checking Infinite-State Systems |
115
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
119
click to vote
COMCOM
2002
15 years 1 months ago
2002
Recent security incidents and analysis have demonstrated that manual response to such attacks is no longer feasible. Intrusion Detection systems offer techniques for modelling and...
100
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
102
Voted
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...