3815 search results - page 161 / 763 » An Implementation of Session Types |
AMR
2007
Springer
14 years 2 months ago
2007
Springer
The goal of this paper is to study the image-concept relationship as it pertains to image annotation. We demonstrate how automatic annotation of images can be implemented on partia...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— The General Internet Signaling Transport (GIST) protocol is currently being developed as the base protocol component in the IETF Next Steps In Signaling (NSIS) protocol stack t...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This report describes a pay broadcasting system for the Internet. This system would enable tens of thousands of people to access an identical video stream simultaneously. In this ...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Today’s mobile, wireless, and ad-hoc communications often exhibit extreme characteristics challenging assumptions underlying the traditional way of end-toend communic...