4305 search results - page 688 / 861 » Analysing Protocol Implementations |
177
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
124
click to vote
IMC
2009
ACM
15 years 10 months ago
2009
ACM
A flurry of recent work has focused on the performance gains that may be achieved by leveraging the broadcast nature of the wireless channel. In particular, researchers have obse...
134
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Since the early days of networks, a basic principle has been that endpoints treat the network as a black box. An endpoint injects a packet with a destination address and the netwo...
130
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
We consider the problem of interconnecting a simple type of social network: Instant Messaging services. Today, users are members of various IM communities such as AOL, Yahoo, and ...
133
click to vote
ICNS
2008
IEEE
15 years 10 months ago
2008
IEEE
—The amount of audiovisual data available on the Internet and thus of multimedia communication over today’s networks is increasing at a rapid pace. Despite the availability of ...