10159 search results - page 652 / 2032 » System Design Validation Using Formal Models |
167
click to vote
ACSAC
2003
IEEE
16 years 17 days ago
2003
IEEE
Reassembly of fragmented objects from a collection of randomly mixed fragments is a common problem in classical forensics. In this paper we address the digital forensic equivalent...
186
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
This research reports on the deferred system software model to inform semantic and contextual information sharing in Web applications. Contextual information sharing requires soft...
206
click to vote
ENTER
2008
Springer
15 years 9 months ago
2008
Springer
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
343
click to vote
SADFE
2008
IEEE
16 years 1 months ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
199
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Motion is one of the most important types of information contained in natural video, but direct use of motion information in the design of video quality assessment algorithms has ...