3388 search results - page 417 / 678 » Type-theoretic design patterns |
191
click to vote
ICDCSW
2005
IEEE
16 years 27 days ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
180
click to vote
VL
2005
IEEE
16 years 26 days ago
2005
IEEE
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
169
click to vote
MSWIM
2005
ACM
16 years 25 days ago
2005
ACM
This paper compares, through analysis and simulation, a number of multichannel MAC protocols for wireless networks. We first classify these protocols into 4 categories based on t...
171
click to vote
ADC
2005
Springer
16 years 25 days ago
2005
Springer
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
182
click to vote
EUC
2005
Springer
16 years 24 days ago
2005
Springer
Ensuring anonymity in sensor networks is a major security goal. Using traffic analysis, the attacker can compromise the network functionality by correlating data flow patterns to ...