733 search results - page 140 / 147 » Formal Reasoning About Intrusion Detection Systems |
130
Voted
SCP
1998
14 years 11 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
202
click to vote
POPL
2004
ACM
15 years 12 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
123
Voted
CCS
2008
ACM
15 years 1 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
118
Voted
CORR
2011
Springer
14 years 3 months ago
2011
Springer
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...