7167 search results - page 1332 / 1434 » A Technique for Invariant Generation |
101
click to vote
MOBIQUITOUS
2008
IEEE
15 years 4 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
NDSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
113
click to vote
SASP
2008
IEEE
15 years 4 months ago
2008
IEEE
Different approaches have been proposed over the years for automatically transforming High-Level-Languages (HLL) descriptions of applications into custom hardware implementations. ...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
—Opportunistic beamforming (OB) relies on the transmission of Channel State Information (CSI) in the form of instantaneous Signal to Noise Ratio (SNR) from Mobile Stations (MSs) ...