1186 search results - page 212 / 238 » Goal-Oriented Interaction Protocols |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
FOCS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— Motivated by applications in cryptography, we consider a generalization of randomness extraction and the related notion of privacy amplification to the case of two cor...
WMCSA
2009
IEEE
14 years 5 months ago
2009
IEEE
The increasing reliance of users on wireless networks for Internet connectivity has posed two significant challenges for mobile networking research. The first challenge is to pr...
ICNP
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Multipath streaming protocols have recently attracted much attention because they provide an effective means to provide high-quality streaming over the Internet. However...
SIBGRAPI
2006
IEEE
14 years 5 months ago
2006
IEEE
Recent statistics show that breast cancer is a major cause of death among women in all of the world. Hence, early diagnostic with Computer Aided Diagnosis (CAD) systems is a very ...