4690 search results - page 805 / 938 » An operational semantics for Scheme |
174
click to vote
ACSAC
2002
IEEE
16 years 20 hour ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...
176
click to vote
FOCS
2002
IEEE
16 years 9 hour ago
2002
IEEE
We consider the problem of sampling almost uniformly from the set of contingency tables with given row and column sums, when the number of rows is a constant. Cryan and Dyer [3] h...
192
click to vote
ICDCSW
2002
IEEE
16 years 5 hour ago
2002
IEEE
Sensor networks are distributed event-based systems that differ from traditional communication networks in several ways: sensor networks have severe energy constraints, redundant ...
185
click to vote
ICSM
2002
IEEE
15 years 12 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
188
click to vote
ISCC
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper, we propose a new protection scheme, which we term partial path protection (PPP), to select endto-end backup paths using local information about network failures. PP...