01281nam0 22003011i 450 SUN003268620140625025023.23801-956519-5-220050224d2000 |0engc50 baengIN|||| |||||ˆThe ‰moral and political thought of Mahatma GandhiRaghavan N. IyerDelhiOxfordOxford University press2000xiii, 449 p.22 cm001SUN00326642001 Oxford India paperbacks210 DelhiOxfordOxford university.GBOxfordSUNL000020DelhiSUNL000262Iyer, Raghavan N.SUNV027297654479Iyer, Raghavan NarasimhanIyer, Raghavan N.SUNV049846Iyer, R. N.Iyer, Raghavan N.SUNV064868Iyer, R.N.Iyer, Raghavan N.SUNV064869ITSOL20181109RICASUN0032686UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00 CONS XX.Ci.25 00 798445160 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA798445160CONS XX.Ci.25paMoral and political thought of Mahatma Gandhi1168486UNICAMPANIA05476nam 22006854a 450 991045766550332120200520144314.01-281-04954-997866110495460-08-048165-5(CKB)1000000000349757(EBL)294438(OCoLC)476058579(SSID)ssj0000268314(PQKBManifestationID)11219105(PQKBTitleCode)TC0000268314(PQKBWorkID)10212773(PQKB)11497806(MiAaPQ)EBC294438(CaSebORM)9780080481654(PPN)17024007X(Au-PeEL)EBL294438(CaPaEBR)ebr10185927(CaONFJC)MIL104954(EXLCZ)99100000000034975720060215d2006 uy 0engur|n|---|||||txtccrVoice over IPv6[electronic resource] architectures for next generation VoIP networks /by Daniel Minoli1st editionBurlington, MA Newnesc20061 online resource (381 p.)Communications engineering seriesDescription based upon print version of record.0-7506-8206-X Includes bibliographical references (p. 343-347) and index.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 Only1.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 Methods2.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 ResponsesA.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 OverviewA.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 Messaging4.2.1 IntroductionIPv6 (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 andCommunications engineering series.Architectures for next generation VoIP networksInternet telephonyElectronic books.Internet telephony.621.382/12Minoli Daniel1952-535872MiAaPQMiAaPQMiAaPQBOOK9910457665503321Voice over IPv61212795UNINA04573nam 22007095 450 99646580140331620200705114953.03-540-32007-510.1007/b135596(CKB)1000000000212912(SSID)ssj0000320727(PQKBManifestationID)11264084(PQKBTitleCode)TC0000320727(PQKBWorkID)10249653(PQKB)10213436(DE-He213)978-3-540-32007-4(MiAaPQ)EBC3067791(PPN)123093805(EXLCZ)99100000000021291220100709d2005 u| 0engurnn|008mamaatxtccrZB 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 Schneider1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XVI, 496 p.) Programming and Software Engineering ;3455Conference proceedings.3-540-25559-1 Includes bibliographical references and index.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.Programming and Software Engineering ;3455ComputersSoftware engineeringComputer logicMathematical logicTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Formal specificationComputers.Software engineering.Computer logic.Mathematical logic.Theory of Computation.Software Engineering.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.005.133Treharne Helenedthttp://id.loc.gov/vocabulary/relators/edtKing Steveedthttp://id.loc.gov/vocabulary/relators/edtHenson Martinedthttp://id.loc.gov/vocabulary/relators/edtSchneider Steveedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference of B and Z UsersBOOK996465801403316ZB 2005: Formal Specification and Development in Z and B772749UNISA