5775 search results - page 988 / 1155 » A Rationale-based Analysis Tool |
164
click to vote
IMF
2007
15 years 8 months ago
2007
: Within digital forensics investigations, the term Live Response refers to all activities that collect evidence on live systems. Though Live Response in general alters the state o...
158
click to vote
IPCV
2007
15 years 8 months ago
2007
- We propose a secure steganographic approach with a high capacity. We first use small neighborhoods of the original histogram to calculate the minimum remapping from a histogram t...
172
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Wireless communication has attracted considerable interest in the research community, and many wireless networks are evaluated using discrete event simulators like OMNeT++. Althou...
170
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
The OMNeT++ discrete event simulation environment has been publicly available since 1997. It has been created with the simulation of communication networks, multiprocessors and ot...
171
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...