4911 search results - page 170 / 983 » Tree dependence analysis |
163
click to vote
PRDC
2009
IEEE
15 years 10 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
130
click to vote
DIMVA
2009
15 years 4 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
116
click to vote
DAGSTUHL
2006
15 years 4 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...
128
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
The presence of physical obstacles and radio interference results in the so called “shadow regions” in wireless networks. When a mobile station roams into a shadow region, it ...
128
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Questions of understanding and quantifying the representation and amount of information in organisms have become a central part of biological research, as they potentially hold th...