41 |
Network tomography based on flow level measurementsArifler, Dogu 28 August 2008 (has links)
Not available / text
|
42 |
TCP adaptation schemes in heterogeneous and ad hoc wireless networksLi, Zhi, 李志 January 2005 (has links)
published_or_final_version / abstract / Electrical and Electronic Engineering / Doctoral / Doctor of Philosophy
|
43 |
An available bit-rate service class for multicast IP transport over satellite using online measurement and wavelet-based predictive bandwidth allocationHrastar, Scott E. 12 1900 (has links)
No description available.
|
44 |
Best-effort traffic engineering in multiprotocol label switched networksKoehler, Bernd G. 05 1900 (has links)
No description available.
|
45 |
Congestion avoidance in TCP/IP networksArpaci, Mutlu 12 1900 (has links)
No description available.
|
46 |
Formal specification of the TCP service and verification of TCP connection management /Han, Bing. Unknown Date (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.
|
47 |
Verification of the WAP transaction layer using coloured petri nets /Gordon, Steven Donald. Unknown Date (has links)
Thesis (PhD)--University of South Australia, 2001
|
48 |
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.
|
49 |
Optimizing communication performance of web services using differential deserialization of SOAP messagesAbu-Ghazaleh, Nayef Bassam. January 2006 (has links)
Thesis (Ph. D.)--State University of New York at Binghamton, Computer Science Department, 2006. / Includes bibliographical references.
|
50 |
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
|
Page generated in 0.0665 seconds