703 search results - page 29 / 141 » Fundamentals of Session Types |
WACC
1999
ACM
14 years 1 hour ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
NETWORK
2008
13 years 7 months ago
2008
Admission control plays a very important role in wireless systems, as it is one of the basic mechanisms for ensuring the quality of service offered to users. Based on the availabl...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
A workshop was held at ICSE 2000 in Limerick, Ireland to further efforts in the development of a standard exchange format (SEF) for data extracted from and about source code. WoSE...
ICCSA
2007
Springer
14 years 1 months ago
2007
Springer
Mobile IP (MIP) is designed for supporting mobile nodes. The technology does not sufficiently handle NEtwork MObility (NEMO). The NEMO Basic Support (NBS) [1] ensures session conti...