5255 search results - page 303 / 1051 » Formal Methods for Privacy |
135
click to vote
SAFECOMP
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an empirical investigation of the control of requirements evolution in an avionics safety-critical system. Metrics can be used to manage (e.g., control and pred...
137
click to vote
OOPSLA
1991
Springer
15 years 8 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
156
Voted
BIOSIG
2008
15 years 6 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...
119
click to vote
ISI
2008
Springer
15 years 4 months ago
2008
Springer
This paper provides a novel algorithm to automatically detect the hidden hierarchy in terrorist networks. The algorithm is based on centrality measures used in social network analy...
153
click to vote
ISI
2008
Springer
15 years 3 months ago
2008
Springer
We discuss how methods from social network analysis could be combined with methodologies from database mediator technology and information fusion in order to give police and other ...