1362 search results - page 213 / 273 » Model Checking Large Network Protocol Implementations |
199
click to vote
MTA
2011
15 years 1 months ago
2011
: With the advances in a variety of software/hardware technologies and wireless networking, there is coming a need for ubiquitous collaboration which allows people to access inform...
147
click to vote
BROADNETS
2005
IEEE
15 years 11 months ago
2005
IEEE
—The peer-to-peer technology offers many advantages, but at the same time, it poses many novel challenges for the research community. Modern peer-to-peer systems are characterize...
284
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
193
click to vote
CN
2010
15 years 3 months ago
2010
The rapid growth of broadband access has popularized multimedia services, which nowadays contribute to a large part of Internet traffic. Among this content, the broadcasting of li...
168
click to vote
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
In traditional mobile streaming networks such as 3G cellular networks, all users pull streams from a server. Such pull model leads to high streaming cost and problem in system sca...