139
Voted
CONEXT
2006
ACM
15 years 7 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
116
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
134
click to vote
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
Concurrent with recent theoretical interest in the problem of metric embedding, a growing body of research in the networking community has studied the distance matrix defined by n...
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer