790 search results - page 88 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
146
Voted
COMCOM
2002
15 years 3 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...
110
Voted
SAC
2008
ACM
15 years 3 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...
119
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
84
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
64
Voted
IFE
2002
15 years 3 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...