561 search results - page 33 / 113 » An Investigation Into Computer Forensic Tools |
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
209
click to vote
Book
"Three dimensional scene analysis has reached a turning point. Though researchers have been investigating object recognition and scene understanding since the late 1960’s, a...
125
click to vote
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Increasing interest is being paid to quantitative evaluation based on measurements of dependability attributes and metrics of computer systems and infrastructures. Despite measura...
156
click to vote
SIGDOC
2010
ACM
14 years 11 months ago
2010
ACM
The growing popularity of mobile devices gave birth to a still emergent research field, called Mobile Music, and concerning the development of musical applications for use in thes...
118
click to vote
EUROPAR
2001
Springer
15 years 6 months ago
2001
Springer
GRM was originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on supercomputers and clusters. In the framework of th...