1362 search results - page 213 / 273 » Model Checking Large Network Protocol Implementations |
157
click to vote
MTA
2011
14 years 10 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...
113
click to vote
BROADNETS
2005
IEEE
15 years 8 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...
232
click to vote
SIGMOD
2009
ACM
16 years 3 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 ...
149
click to vote
CN
2010
15 years 10 days 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...
123
click to vote
ICMCS
2006
IEEE
15 years 9 months 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...