827 search results - page 63 / 166 » Patterns for Timed Property Specifications |
132
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
136
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is a key activity in the field of digital forensic...
108
click to vote
ISM
2005
IEEE
15 years 8 months ago
2005
IEEE
Our research extends the general technologies detecting pornographic images to prevent the benign images whose content is approximate with the pornographic ones from being screene...
149
click to vote
CIARP
2006
Springer
15 years 7 months ago
2006
Springer
In this work it is described a framework for classifying face images using Adaboost and domain-partitioning based classifiers. The most interesting aspect of this framework is the ...
144
click to vote
IJAIT
2007
15 years 3 months ago
2007
Rare events analysis is an area that includes methods for the detection and prediction of events, e.g. a network intrusion or an engine failure, that occur infrequently and have s...