2746 search results - page 474 / 550 » Case Study in Survivable Network System Analysis |
131
click to vote
HOTOS
2007
IEEE
15 years 5 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
138
click to vote
SAGA
2007
Springer
15 years 7 months ago
2007
Springer
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...
128
click to vote
ISLPED
2003
ACM
15 years 6 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
144
click to vote
ECCV
1998
Springer
15 years 5 months ago
1998
Springer
Different applications in the field of vision-based navigation of autonomous mobile robots depend on the degree of knowledge of the environment. Indoor environment applications oft...
117
click to vote
NDSS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...