91 |
Formal specification of the TCP service and verification of TCP connection managementHan, Bing January 2004 (has links)
Using the approach of Coloured Petri nets (CPNs) and automata theory, this thesis shows how to formalise the service provided by the Transmission Control Protocol (TCP) and verify TCP Connection Management, an essential part of TCP. Most of the previous work on modelling and analysing TCP Connection Management is based on early versions of TCP, which are different from the current TCP specification. Also the scope is mainly confined to the connection establishment procedure, while the release procedure is either simplified or omitted from investigation. This thesis extends prior work by verifying a detailed model of TCP Connection Management. In defining the TCP service, the set of service primitives and their sequencing constraints are specified at each service access point. / thesis (PhDComputerSystemsEng)--University of South Australia, 2004.
|
92 |
Congestion control for multicast /Ngo, Van Ngoc. January 2005 (has links)
Thesis (M.Sc.)--York University, 2005. Graduate Programme in Computer Science and Engineering. / Typescript. Includes bibliographical references (leaves 139-145). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss &rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MR11871
|
93 |
Internet protocol geolocationRoehl, John M. January 1900 (has links)
Thesis (M.S.)--Air Force Institute of Technology, 2007. / AFIT/GIR/ENV/07-M15. Title from title page of PDF document (viewed on: Nov. 28, 2007). "March 2007." Includes bibliographical references (leaves 170-174).
|
94 |
Quantification, characterisation and impact evaluation of mobile IPv6 hand off timesBanh, Mai. January 2007 (has links)
Thesis (MEng) - Swinburne University of Technology, Centre for Advanced Internet Architectures, 2005. / [A thesis submitted in total fulfillment of the requirements of for the degree of ] Masters of Engineering by Research, Centre for Advanced Internet Architectures (CAIA), Faculty of Information and Communication Technologies, Swinburne University of Technology, 2005. Typescript. Bibliography p. 153-159.
|
95 |
Implementation of location detection, home agent discovery and registration of mobile IPv6 /Xu, Yang, January 1900 (has links)
Thesis (M.C.S.)--Carleton University, 2001. / Includes bibliographical references (p. 77-79). Also available in electronic format on the Internet.
|
96 |
TCP over mobile ad-hoc access networks /Moustafa, Ahmed January 1900 (has links)
Thesis (M.C.S.) - Carleton University, 2003. / Includes bibliographical references (p. 121-124). Also available in electronic format on the Internet.
|
97 |
TCP/IP networks with ECN over AQM /Arora, Rakesh M. January 1900 (has links)
Thesis (M. Eng.)--Carleton University, 2003. / Includes bibliographical references (p. 99-101). Also available in electronic format on the Internet.
|
98 |
Transport layer fairness and congestion control in wireless ad hoc access networks /Zhang, Hao, January 1900 (has links)
Thesis (M.App.Sc.) - Carleton University, 2006. / Includes bibliographical references (p. 106-110). Also available in electronic format on the Internet.
|
99 |
System and methods for detecting unwanted voice callsKolan, Prakash. Dantu, Ram, January 2007 (has links)
Thesis (Ph. D.)--University of North Texas, Dec., 2007. / Title from title page display. Includes bibliographical references.
|
100 |
Performance analysis of persistent hypertext transfer protocol (HTTP) over satellite linksChen, Xin. January 1997 (has links)
Thesis (M.S.)--Ohio University, November, 1997. / Title from PDF t.p.
|
Page generated in 0.0311 seconds