1833 search results - page 272 / 367 » Mechanized Verification with Sharing |
120
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—We examine a widely accepted myth about passive listening in wireless networks, and give a detailed description of how to achieve real “passive listening.” Then we develop a...
125
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Motivated by the widespread of file and video streaming over peer-to-peer networks, we propose to investigate the design of a peer-to-peer solution for image-based remote walk...
105
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—E-limited (or K-limited) scheduling is attractive because its performance is close to that of the exhaustive scheduling which is proven to be the optimal polling scheme for symm...
145
Voted
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
116
Voted
ICDIM
2007
IEEE
15 years 11 months ago
2007
IEEE
: An effect of the growing importance of the Semantic Web used for sharing knowledge over the Internet was the development and publishing of many ontologies in different domains. T...