3388 search results - page 417 / 678 » Type-theoretic design patterns |
174
click to vote
ICDCSW
2005
IEEE
16 years 7 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...
159
click to vote
VL
2005
IEEE
16 years 6 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...
144
click to vote
MSWIM
2005
ACM
16 years 6 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...
151
click to vote
ADC
2005
Springer
16 years 5 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 ...
160
click to vote
EUC
2005
Springer
16 years 5 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 ...