2182 search results - page 322 / 437 » A pretopological approach for structural analysis |
162
click to vote
WCRE
2007
IEEE
16 years 18 days ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
138
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
165
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
172
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
Anonymity is increasingly important for network applications concerning about censorship and privacy. The existing anonymous communication protocols generally stem from mixnet and...
178
click to vote
IBPRIA
2007
Springer
16 years 15 days ago
2007
Springer
Some fast nearest neighbor search (NNS) algorithms using metric properties have appeared in the last years for reducing computational cost. Depending on the structure used to store...