972 search results - page 64 / 195 » presence 2007 |
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...
103
click to vote
DEXAW
2007
IEEE
15 years 6 months ago
2007
IEEE
As part of the general growth and diversification of media in different modalities, the presence of information in the form of human speech in the world-wide body of digital conte...
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
- Usually, packets involved in a collision are lost, requiring their retransmission. However, the signal associated to collisions has important information concerning the packets i...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is an important activity in the field of digital f...