3815 search results - page 34 / 763 » An Implementation of Session Types |
131
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
108
Voted
SAINT
2008
IEEE
15 years 9 months ago
2008
IEEE
We have implemented Multi-Session based Network Security Event Detector: ROOK to detect botnet activity and P2P file sharing traffic and our results show that our method is less...
124
Voted
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Estimating the network delays between each pair of nodes in a multicast session is the key parameter in reliable multicast; it is used, among other things, in suppressing the impl...
93
Voted
WSC
2000
15 years 3 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
124
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Multicast-based data communication is an efficient communication scheme especially in multihop ad hoc networks where the MAC layer is based on one-hop broadcast from one sourc...