4196 search results - page 528 / 840 » Supporting the development of network programs |
146
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
152
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
155
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
141
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
152
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Research experiences for undergraduates are considered an effective means for increasing student retention and encouraging undergraduate students to continue on to graduate school...