1286 search results - page 160 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
96
Voted
IH
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present attacks on the anonymity and pseudonymity provided by a “lonely hearts” dating service and by the HushMail encrypted email system. We move on to discuss so...
125
Voted
COOPIS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...
115
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
: e-business organizations are heavily dependent on distributed 24X7 robust information computing systems, for their daily operations. To secure distributed online transactions, th...
112
click to vote
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
314
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
The problem of recognizing actions in realistic videos
is challenging yet absorbing owing to its great potentials
in many practical applications. Most previous research is
limit...