533 search results - page 94 / 107 » Protocol synthesis from timed and structured specifications |
MOBISYS
2008
ACM
14 years 10 months ago
2008
ACM
Recent years have witnessed the impacts of distributed content sharing (Wikipedia, Blogger), social networks (Facebook, MySpace), sensor networks, and pervasive computing. We beli...
WICON
2008
14 years 10 days ago
2008
Mobile ad hoc networks range from traditional MANETs where end-to-end paths exist from sources to destinations, to DTNs where no contemporaneous end-to-end paths exist and communi...
SIGCOMM
2010
ACM
13 years 11 months ago
2010
ACM
Multimedia content is a dominant fraction of Internet usage today. At the same time, there is significant heterogeneity in video presentation modes and operating conditions of Int...
CCR
2007
13 years 11 months ago
2007
The research community worldwide has increasingly drawn its attention to the weaknesses of the current Internet. Many proposals are addressing the perceived problems, ranging from...
CVPR
2008
IEEE
15 years 28 days ago
2008
IEEE
The Internet contains billions of images, freely available online. Methods for efficiently searching this incredibly rich resource are vital for a large number of applications. Th...