| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910457665503321 |
|
|
Autore |
Minoli Daniel <1952-> |
|
|
Titolo |
Voice over IPv6 [[electronic resource] ] : architectures for next generation VoIP networks / / by Daniel Minoli |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Burlington, MA, : Newnes, c2006 |
|
|
|
|
|
|
|
ISBN |
|
1-281-04954-9 |
9786611049546 |
0-08-048165-5 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (381 p.) |
|
|
|
|
|
|
Collana |
|
Communications engineering series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Internet telephony |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 343-347) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
front cover; copyright; table of contents; front matter; Preface; Acknowledgments; body; 1 Introduction; 1.1 Overview; 1.2 Introductory Overview of IPv6; 1.2.1 IPv6 Benefits; 1.2.2 Network Address Translation Issues in IPv4; 1.2.3 IPv6 Address Space; 1.2.4 Basic Protocol Constructs; 1.2.5 IPv6 Autoconfiguration; 1.2.6 Applications; 1.2.7 Transition Approaches; 1.3 Introductory Overview of VoIP; 1.3.1 Overview; 1.3.2 First-Generation 1G VoIP Networks; 1.3.3 Second-Generation 2G VoIP Networks; 1.3.4 Pragmatic Enterprise 2G VoIP Deployment Approaches; 1.3.5 2G VoIP Trunking Only |
1.3.6 2G Traditional PBXs with IP Adjunct Extensions (Enhancements)1.3.7 2G Hybrid TDM and IP Systems; 1.3.8 2G Pure IP Server-Based Telephony Systems; 1.3.9 Possible Evolution Paths for 2G Deployments; 1.4 Third-Generation 3G VoIP Networks; 1.5 Deployment/Penetration Issues; 1.6 Line of Investigation; Appendix A: Basic IPv6 Terminology; Appendix B: Basic Bibliography; 2 Basic VoP/VoIP Concepts; 2.1 Introduction and Background; 2.1.1 Carriers' Voice Networks; 2.1.2 VoIP in Cable TV Environments; 2.2 Voice Digitization and Encoding; 2.2.1 Overview of Speech Encoding Methods |
2.2.2 Technology and Standards for Low Bit Rate Vocoding Methods2.3 Signaling; 2.3.1 H.323 Standards; 2.3.2 Introduction to Session Initiation Protocol (SIP); 2.3.3 MEGACO; 2.4 Numbering; 2.5 VoIP and |
|
|
|
|
|
|
|
|
|
|
|
Wireless Networks; 2.5.1 Approaches; 2.5.2 Wireless VoIP Service Offering Dynamics; 2.5.3 Wireless Summary; 2.6 Conclusion; 3 Basic VoIP Signaling and SIP Concepts; 3.1 Introduction; 3.2 Overview; 3.3 Fundamental SIP Functionality; 3.4 Overview of Operation; 3.5 Structure of the Protocol; 3.6 SIP Details; Appendix A; A.1 Definitions; A.2 SIP Messages; A.2.1 Requests; A.2.2 Responses |
A.2.3 Header FieldsA.2.4 Bodies; A.2.5 Framing SIP Messages; A.3 General User Agent Behavior; A.3.1 UAC Behavior; A.3.2 UAS Behavior; A.3.3 Redirect Servers; A.4 Canceling a Request; A.4.1 Client Behavior; A.4.2 Server Behavior; A.5 Registrations; A.5.1 Overview; A.5.2 Constructing the REGISTER Request; A.5.3 Processing REGISTER Requests; A.6 Querying for Capabilities; A.6.1 Construction of OPTIONS Request; A.6.2 Processing of OPTIONS Request; A.7 Dialogs; A.7.1 Creation of a Dialog; A.7.2 Requests within a Dialog; A.7.3 Termination of a Dialog; A.8 Initiating a Session; A.8.1 Overview |
A.8.2 UAC ProcessingA.8.3 UAS Processing; A.9 Modifying an Existing Session; A.9.1 UAC Behavior; A.9.2 UAS Behavior; A.10 Terminating a Session; A.10.1 Terminating a Session with a BYE Request; A.11 Proxy Behavior; A.11.1 Overview; A.11.2 Stateful Proxy; A.11.3 Summary of Proxy Route Processing; A.12 Transactions; A.12.1 Client Transaction; A.12.2 Server Transaction; A.13 Transport; A.13.1 Clients; A.13.2 Servers; A.13.3 Framing; A.13.4 Error Handling; A.14 Additional Details; 4 Basic "Presence" Concepts; 4.1 Introduction; 4.2 Abstract Model for a Presence and Instant Messaging |
4.2.1 Introduction |
|
|
|
|
|
|
Sommario/riassunto |
|
IPv6 (Internet Protocol version 6) is the future of Internet telephony. And this book is your guide to that future.IPv6 is the replacement for the currently used IPv4 (Internet Protocol version 4). IPv6 will offer increased IP addresses (full 128-bit addresses, compared to the 32-bit addresses of IPv4), enhanced security, and greater robustness. It will also be fully "backwards compatible? with existing IPv4 systems. These capabilities will finally make Internet telephony a viable competitor to conventional switched telephone networks. In this book, Dan Minoli clearly explains IPv6 and |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465801403316 |
|
|
Titolo |
ZB 2005: Formal Specification and Development in Z and B [[electronic resource] ] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 496 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 3455 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Software engineering |
Computer logic |
Mathematical logic |
Theory of Computation |
Software Engineering |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract— -- Visualising Larger State Spaces in Pro B -- Non-atomic Refinement in Z and CSP -- Process Refinement in B -- CZT: A Framework for Z Tools -- Model Checking Z Specifications Using SAL -- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ -- A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems -- An Extension of Event B for Developing Grid Systems -- The Challenge of Probabilistic Event B—Extended Abstract— -- Requirements as Conjectures: Intuitive DVD Menu Navigation -- A Prospective-Value Semantics for the GSL -- Retrenchment and the B-Toolkit -- Refinement and Reachability in Event_B -- A Rigorous Foundation for Pattern-Based Design Models -- An Object-Oriented Structuring for Z |
|
|
|
|
|
|
|
|
|
|
Based on Views -- Component Reuse in B Using ACL2 -- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties -- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z -- Using B as a High Level Programming Language in an Industrial Project: Roissy VAL -- Development via Refinement in Probabilistic B — Foundation and Case Study -- Formal Program Development with Approximations -- Practical Data Refinement for the Z Schema Calculus -- Slicing Object-Z Specifications for Verification -- Checking JML Specifications with B Machines -- Including Design Guidelines in the Formal Specification of Interfaces in Z -- Some Guidelines for Formal Development of Web-Based Applications in B-Method. |
|
|
|
|
|
| |