561 search results - page 50 / 113 » An Investigation Into Computer Forensic Tools |
106
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
116
click to vote
ACCV
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the problem of camera calibration using object silhouettes in image sequences. It is known that silhouettes encode information on camera parameters by the fact...
111
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of in...
116
click to vote
ICPADS
1996
IEEE
15 years 6 months ago
1996
IEEE
The Management of Distributed Applications and Systems (MANDAS) project addresses problems arising in the management of distributed applications. Specifically, we are studying the...
107
click to vote
CSCW
1996
ACM
15 years 6 months ago
1996
ACM
During the last year we have been designing and studying a computer based tool intended to strengthen social group awareness within a research laboratory. While awareness has been...