01096cam2 22002773 450 SOBE0007294020220715082738.088-14-01481-720220715d1988 |||||ita|0103 baitaIT<<3: Il >>divorziocommento sistematico alle Legge 1° dicembre 1970 n. 898 come modificata dalle leggi 1° agosto 1978 n. 436 e 6 marzo 1987 n. 74Alfio Finocchiaro, Mario FinocchiaroMilanoGiuffré1988IV, 768 p.24 cm.001SOB00000010922001 Diritto di famiglia : legislazione, dottrina, giurisprudenza / Alfio Finocchiaro, Mario FinocchiaroFinocchiaro, AlfioAF0000639507028898Finocchiaro, MarioAF0001516007028899ITUNISOB20220715RICAUNISOBUNISOB34095026SOBE00072940M 102 Monografia moderna SBNM3401827SI95026rovitoUNISOBUNISOB20220715082724.020220715082738.0rovitoDivorzio1401802UNISOB02289nas 2200757-a 450 99620505150331620230319213022.01600-0463(DE-599)ZDB2098213-6(OCoLC)50102628(CKB)954925562604(CONSER)--2004233682(EXLCZ)9995492556260420020702a19889999 s-- aengurmnu||||||||txtrdacontentcrdamediacrrdacarrierAPMIS[Copenhagen Munksgaard©1988]-[Oxford Blackwell]Oxford John Wiley & Sons LtdRefereed/Peer-reviewed0903-4641 Acta pathologica, microbiologica et immunologica ScandinavicaAPMIS :journal of pathology, microbiology and immunologyJournal of pathology, microbiology and immunologyAPMIS journalAPMIS ACTA PATHOL MICROBIOL IMMUNOL SCANDAPMIS ACTA PATHOLOGICA MICROBIOLOGICA ET IMMUNOLOGICA SCANDINAVICAAPMISAPMISPathologyPeriodicalsMicrobiologyPeriodicalsImmunologyPeriodicalsMicrobiologyPathologyAllergy and ImmunologyPathologiePériodiquesMicrobiologiePériodiquesImmunologiePériodiquesImmunologyfast(OCoLC)fst00968006Microbiologyfast(OCoLC)fst01019576Pathologyfast(OCoLC)fst01054964Periodicals.fastPeriodicals.lcgftPathologyMicrobiologyImmunologyMicrobiology.Pathology.Allergy and Immunology.PathologieMicrobiologieImmunologieImmunology.Microbiology.Pathology.616571.9Scandinavian Societies for Medical Microbiology and Pathology,JOURNAL996205051503316APMIS2047632UNISA05252nam 22006254a 450 991083077650332120230617040720.01-280-26873-597866102687330-470-01636-10-470-02164-0(CKB)1000000000357236(EBL)232686(OCoLC)608693774(SSID)ssj0000128847(PQKBManifestationID)11144221(PQKBTitleCode)TC0000128847(PQKBWorkID)10070213(PQKB)10797984(MiAaPQ)EBC232686(EXLCZ)99100000000035723620041119d2005 uy 0engur|n|---|||||txtccrConnection-oriented networks[electronic resource] SONET/SDH, ATM, MPLS, and optical networks /Harry G. PerrosHoboken, NJ Wileyc20051 online resource (358 p.)Description based upon print version of record.0-470-02163-2 Includes bibliographical references and index.Connection-oriented Networks; About the Author; Contents; Preface; List of Abbreviations; 1 Introduction; 1.1 Communication Networks; 1.2 Examples of Connections; 1.2.1 An ATM Connection; 1.2.2 An MPLS Connection; 1.2.3 A Telephone Connection; 1.2.4 A Wavelength Routing Optical Network Connection; 1.3 Organization of the Book; 1.4 Standards Committees; 1.4.1 The International Telecommunication Union (ITU); 1.4.2 The International Organization for Standardization (ISO); 1.4.3 The American National Standards Institute (ANSI); 1.4.4 The Institute of Electrical and Electronics Engineering (IEEE)1.4.5 The Internet Engineering Task Force (IETF)1.4.6 The ATM Forum; 1.4.7 The MPLS and Frame Relay Alliance; 1.4.8 The Optical Internetworking Forum (OIF); 1.4.9 The DSL Forum; Problems; 2 SONET/SDH and the Generic Frame Procedure (GFP); 2.1 T1/E1; 2.1.1 Fractional T1/E1; 2.1.2 Unchannelized Framed Signal; 2.2 SONET/SDH; 2.3 The SONET STS-1 Frame Structure; 2.3.1 The Section, Line, and Path Overheads; 2.3.2 The STS-1 Section, Line, and Path Overheads; 2.3.3 The STS-1 Payload; 2.4 The SONET STS-3 Frame Structure; 2.5 SONET/SDH Devices; 2.6 Self-healing SONET/SDH Rings2.6.1 Two-fiber Unidirectional Path Switched Ring (2F-UPSR)2.6.2 Two-fiber Bidirectional Line Switched Ring (2F-BLSR); 2.6.3 Four-fiber Bidirectional Line Switched Ring (4F-BLSR); 2.7 The Generic Framing Procedure (GFP); 2.7.1 The GFP Frame Structure; 2.7.2 GFP Client-independent Functions; 2.7.3 GFP Client-dependent Functions; 2.8 Data over SONET/SDH (DoS); 2.8.1 Virtual Concatenation; 2.8.2 Link Capacity Adjustment Scheme (LCAS); Problems; 3 ATM Networks; 3.1 Introduction; 3.2 The Structure of the Header of the ATM Cell; 3.3 The ATM Protocol Stack; 3.4 The Physical Layer3.4.1 The Transmission Convergence (TC) Sublayer3.4.2 The Physical Medium-Dependent (PMD) Sublayer; 3.5 The ATM Layer; 3.6 The ATM Switch Architecture; 3.6.1 The Shared Memory Switch; 3.6.2 Scheduling Algorithms; 3.7 The ATM Adaptation Layer; 3.7.1 ATM Adaptation Layer 1 (AAL 1); 3.7.2 ATM Adaptation Layer 2 (AAL 2); 3.7.3 ATM Adaptation Layer 5 (AAL 5); 3.8 Classical IP and ARP Over ATM; 3.8.1 ATMARP; Problems; Appendix: Simulation Project: AAL 2; 4 Congestion Control in ATM Networks; 4.1 Traffic Characterization; 4.1.1 Types of Parameters; 4.1.2 Standardized Traffic Descriptors4.1.3 Empirical Models4.1.4 Probabilistic Models; 4.2 Quality of Service (QoS) Parameters; 4.3 ATM Service Categories; 4.3.1 The CBR Service; 4.3.2 The RT-VBR Service; 4.3.3 The NRT-VBR Service; 4.3.4 The UBR Service; 4.3.5 The ABR Service; 4.3.6 The GFR Service; 4.3.7 ATM Transfer Capabilities; 4.4 Congestion Control; 4.5 Preventive Congestion Control; 4.6 Call Admission Control (CAC); 4.6.1 Classes of CAC Algorithms; 4.6.2 Equivalent Bandwidth; 4.6.3 The ATM Block Transfer (ABT) Scheme; 4.6.4 Virtual Path Connections; 4.7 Bandwidth Enforcement; 4.7.1 The Generic Cell Rate Algorithm (GCRA)4.7.2 Packet Discard SchemesA thorough knowledge of modern connection-oriented networks is essential to understanding the current and near-future state of networking.This book provides a complete overview of connection-oriented networks, discussing both packet-switched and circuit-switched networks, which, though seemingly different, share common networking principles. It details the history and development of such networks, and defines their terminology and architecture, before progressing to aspects such as signaling and standards. There is inclusive coverage of SONET/SDH, ATM networks, Multi-Protocol Label SwitchiTelecommunication systemsComputer networksTelecommunication systems.Computer networks.004.6621.382/1621.3821Perros Harry G746517MiAaPQMiAaPQMiAaPQBOOK9910830776503321Connection-oriented networks4021157UNINA06872nam 22008175 450 991014415260332120251116234605.03-540-30138-010.1007/b100227(CKB)1000000000212533(SSID)ssj0000127872(PQKBManifestationID)11152524(PQKBTitleCode)TC0000127872(PQKBWorkID)10063679(PQKB)11217407(DE-He213)978-3-540-30138-7(MiAaPQ)EBC3088851(PPN)155198254(EXLCZ)99100000000021253320121227d2004 u| 0engurnn|008mamaatxtccrComputer Safety, Reliability, and Security 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings /edited by Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XII, 344 p.) Lecture Notes in Computer Science,0302-9743 ;3219Bibliographic Level Mode of Issuance: Monograph3-540-23176-5 Includes bibliographical references at the end of each chapters and index.Invited Talk -- Why Safety and Security Should and Will Merge -- Safety Cases -- The Deconstruction of Safety Arguments Through Adversarial Counter-Argument -- Using Fuzzy Self-Organising Maps for Safety Critical Systems -- Using Formal Methods in a Retrospective Safety Case -- Reliability -- A Highly Fault Detectable Cache Architecture for Dependable Computing -- An Empirical Exploration of the Difficulty Function -- Towards the Integration of Fault, Resource, and Power Management -- Human Factors -- Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems -- Analysing Mode Confusion: An Approach Using FDR2 -- Invited Talk -- Handling Safety Critical Requirements in System Engineering Using the B Formal Method -- Transportation -- A Hybrid Testing Methodology for Railway Control Systems -- Actuator Based Hazard Analysis for Safety Critical Systems -- Performability Measures of the Public Mobile Network of a Tele Control System -- Software Development -- PLC-Based Safety Critical Software Development for Nuclear Power Plants -- Compositional Hazard Analysis of UML Component and Deployment Models -- Automatic Test Data Generation from Embedded C Code -- Fault Tree Analysis -- State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems -- Safety Requirements and Fault Trees Using Retrenchment -- The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics -- Invited Talk -- Automotive Telematics – Road Safety Versus IT Security? -- Formal Methods and Systems -- Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture -- Refinement of Fault Tolerant Control Systems in B -- Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems -- Security and Quality of Service -- An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth -- Dependability Benchmarking of Web-Servers -- Hazard and Risk Analysis -- An Approach for Model-Based Risk Assessment -- How Explicit Are the Barriers to Failure in Safety Arguments?.Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.Lecture Notes in Computer Science,0302-9743 ;3219Software engineeringCoding theoryInformation theoryComputers, Special purposeComputer logicManagement information systemsComputer scienceSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Coding and Information Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/I15041Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Coding theory.Information theory.Computers, Special purpose.Computer logic.Management information systems.Computer science.Software Engineering/Programming and Operating Systems.Coding and Information Theory.Special Purpose and Application-Based Systems.Logics and Meanings of Programs.Management of Computing and Information Systems.004.24Heisel Marittaedthttp://id.loc.gov/vocabulary/relators/edtLiggesmeyer Peteredthttp://id.loc.gov/vocabulary/relators/edtWittmann Stefanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910144152603321Computer Safety, Reliability, and Security2908259UNINA