36320 search results - page 66 / 7264 » From Code to Models |
136
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- A green code attempts to minimize the total energy per-bit required to communicate across a noisy channel. The classical information-theoretic approach neglects the ener...
154
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—We investigate the benefits of distributed storage using erasure codes for file sharing in vehicular networks through realistic trace-based simulations. We find that coding o...
134
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 13 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
172
click to vote
CEEMAS
2007
Springer
16 years 10 days ago
2007
Springer
This paper presents an agent-based approach to Network Intrusion Prevention on corporate networks, emphasizing the protection from fast-spreading mobile malicious code outbreaks (e...
147
click to vote
TCSV
2008
15 years 6 months ago
2008
Edge is an important feature in video classification which finds applications in video representation and coding. In H.264/AVC, intra-prediction mode decision (a computationally in...