1833 search results - page 270 / 367 » Mechanized Verification with Sharing |
146
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—We consider a time-slotted multipacket reception channel, shared by a finite number of mobile users who transmit to a common base station. Each user is allocated a fixed data ...
149
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—The publish/subscribe (pub/sub for short) paradigm is used to deliver events from a source to interested clients in an asynchronous way. Recently, extending a pub/sub system in ...
158
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
Peer-to-Peer (P2P) networks have proven to be an efficient and successful mechanism for file sharing over the Internet. However, current P2P protocols have long worst case query...
167
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
Many scientific applications need to stage large volumes of files from one set of machines to another set of machines in a wide-area network. Efficient execution of such data t...
128
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider the problem of Object Safety: how objects endowed with processing, communication, and sensing capabilities can determine their safety. We assign an agent to each objec...