Sciweavers

1462 search results - page 157 / 293
» The Abstract MAC Layer
Sort
View
IPPS
1999
IEEE
15 years 9 months ago
BSP in CSP: Easy as ABC
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
Andrew C. Simpson, Jonathan M. D. Hill, Stephen R....
GLOBECOM
2009
IEEE
15 years 9 months ago
Optimized Protection Schemes for Resilient Interdomain Traffic Distribution
Abstract-- Due to the development of Next Generation Networks, leading to a multiservice transport layer with a multidomain environment, the importance of interconnection issues ke...
Miroslaw Kantor, Piotr Cholda, Andrzej Jajszczyk
ISW
2000
Springer
15 years 8 months ago
Performance Analysis of Secure Web Server Based on SSL
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
Xiaodong Lin, Johnny W. Wong, Weidong Kou
DAGSTUHL
2008
15 years 6 months ago
Implementation of the reciprocal square root in MPFR
D ABSTRACT) PAUL ZIMMERMANN We describe the implementation of the reciprocal square root -- also called inverse square root -- as a native function in the MPFR library. The difficu...
Paul Zimmermann
IJCAI
2007
15 years 6 months ago
Incremental Construction of Structured Hidden Markov Models
This paper presents an algorithm for inferring a Structured Hidden Markov Model (S-HMM) from a set of sequences. The S-HMMs are a sub-class of the Hierarchical Hidden Markov Model...
Ugo Galassi, Attilio Giordana, Lorenza Saitta