4305 search results - page 672 / 861 » Analysing Protocol Implementations |
128
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
149
click to vote
DBSEC
2006
15 years 5 months ago
2006
Abstract. Attack graph is important in defending against well-orchestrated network intrusions. However, the current analysis of attack graphs requires an algorithm to be developed ...
113
click to vote
ECIS
2000
15 years 5 months ago
2000
Abstract - The Internet appears to playing a role in the restructuring of some traditional business sectors in which some organisations profit and some decline. Travel agencies are...
155
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
148
Voted
BIODATAMINING
2008
15 years 4 months ago
2008
During the past two decades, the field of human genetics has experienced an information explosion. The completion of the human genome project and the development of high throughpu...