Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Universal routing strategies for interconnection networks / / Christian Scheideler
| Universal routing strategies for interconnection networks / / Christian Scheideler |
| Autore | Scheideler Christian |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1998] |
| Descrizione fisica | 1 online resource (XVII, 234 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networks
Computer network protocols |
| ISBN | 3-540-69792-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communication mechanisms used in practice -- Terminology -- to store-and-forward routing -- The routing number -- Offline routing protocols -- Oblivious routing protocols -- Adaptive routing protocols -- Compact routing protocols -- to wormhole routing -- Oblivious routing protocols -- Protocols for all-optical networks -- Summary and future directions. |
| Record Nr. | UNISA-996466106503316 |
Scheideler Christian
|
||
| Berlin ; ; Heidelberg : , : Springer, , [1998] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Using LDAP for directory integration [[electronic resource] /] / [Steven Tuttle, Kedar Godbole, Grant McCarthy]
| Using LDAP for directory integration [[electronic resource] /] / [Steven Tuttle, Kedar Godbole, Grant McCarthy] |
| Autore | Tuttle Steven |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | [S.l.], : IBM, International Technical Support Organization, c2004 |
| Descrizione fisica | 1 online resource (150 p.) |
| Altri autori (Persone) |
GodboleKedar
McCarthyGrant |
| Collana | IBM redbooks |
| Soggetto topico |
LDAP (Computer network protocol)
Computer network protocols |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910449800703321 |
|
Tuttle Steven
|
||
| [S.l.], : IBM, International Technical Support Organization, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Using LDAP for directory integration [[electronic resource] /] / [Steven Tuttle, Kedar Godbole, Grant McCarthy]
| Using LDAP for directory integration [[electronic resource] /] / [Steven Tuttle, Kedar Godbole, Grant McCarthy] |
| Autore | Tuttle Steven |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | [S.l.], : IBM, International Technical Support Organization, c2004 |
| Descrizione fisica | 1 online resource (150 p.) |
| Altri autori (Persone) |
GodboleKedar
McCarthyGrant |
| Collana | IBM redbooks |
| Soggetto topico |
LDAP (Computer network protocol)
Computer network protocols |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910783564903321 |
|
Tuttle Steven
|
||
| [S.l.], : IBM, International Technical Support Organization, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Using LDAP for directory integration [[electronic resource] /] / [Steven Tuttle, Kedar Godbole, Grant McCarthy]
| Using LDAP for directory integration [[electronic resource] /] / [Steven Tuttle, Kedar Godbole, Grant McCarthy] |
| Autore | Tuttle Steven |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | [S.l.], : IBM, International Technical Support Organization, c2004 |
| Descrizione fisica | 1 online resource (150 p.) |
| Altri autori (Persone) |
GodboleKedar
McCarthyGrant |
| Collana | IBM redbooks |
| Soggetto topico |
LDAP (Computer network protocol)
Computer network protocols |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910825196903321 |
|
Tuttle Steven
|
||
| [S.l.], : IBM, International Technical Support Organization, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
V5 TCP/IP applications on the IBM e-server iSeries server [[electronic resource] /] / [Gary Lakner ... et al.] ; IBM International Technical Support Organization
| V5 TCP/IP applications on the IBM e-server iSeries server [[electronic resource] /] / [Gary Lakner ... et al.] ; IBM International Technical Support Organization |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Rochester, NY, : IBM, International Technical Support Organization, c2004 |
| Descrizione fisica | xii, 408 p. : ill |
| Altri autori (Persone) | LaknerGary |
| Collana | IBM redbooks |
| Soggetto topico |
TCP/IP (Computer network protocol)
Computer network protocols |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910449805703321 |
| Rochester, NY, : IBM, International Technical Support Organization, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
V5 TCP/IP applications on the IBM e-server iSeries server [[electronic resource] /] / [Gary Lakner ... et al.] ; IBM International Technical Support Organization
| V5 TCP/IP applications on the IBM e-server iSeries server [[electronic resource] /] / [Gary Lakner ... et al.] ; IBM International Technical Support Organization |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Rochester, NY, : IBM, International Technical Support Organization, c2004 |
| Descrizione fisica | xii, 408 p. : ill |
| Altri autori (Persone) | LaknerGary |
| Collana | IBM redbooks |
| Soggetto topico |
TCP/IP (Computer network protocol)
Computer network protocols |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910783567103321 |
| Rochester, NY, : IBM, International Technical Support Organization, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
V5 TCP/IP applications on the IBM e-server iSeries server [[electronic resource] /] / [Gary Lakner ... et al.] ; IBM International Technical Support Organization
| V5 TCP/IP applications on the IBM e-server iSeries server [[electronic resource] /] / [Gary Lakner ... et al.] ; IBM International Technical Support Organization |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Rochester, NY, : IBM, International Technical Support Organization, c2004 |
| Descrizione fisica | xii, 408 p. : ill |
| Altri autori (Persone) | LaknerGary |
| Collana | IBM redbooks |
| Soggetto topico |
TCP/IP (Computer network protocol)
Computer network protocols |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910825150103321 |
| Rochester, NY, : IBM, International Technical Support Organization, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of communication protocols in web services : model-checking service compositions / / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University
| Verification of communication protocols in web services : model-checking service compositions / / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University |
| Autore | Tari Zahir <1961, > |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , [2014] |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina | 004.6/2 |
| Altri autori (Persone) |
BertókPéter <1952->
MukherjeeAnshuman |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Web services - Testing
Computer network protocols |
| ISBN |
1-118-72010-5
1-118-72013-X |
| Classificazione | COM059000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PREFACE xi -- 1 INTRODUCTION: SERVICE RELIABILITY 1 -- 1.1 Motivation 4 -- 1.2 Technical Challenges 5 -- 1.3 Summary of Earlier Solutions 7 -- 1.4 Summary of New Ways to Verify Web Services 8 -- 1.5 Structure of the Book 10 -- References 11 -- 2 MODEL CHECKING 15 -- 2.1 Advantages and Disadvantages of Model Checking 18 -- 2.2 State-Space Explosion 19 -- 2.3 Model-Checking Tools 22 -- References 25 -- 3 PETRI NETS 27 -- 3.1 Colored Petri Nets 31 -- 3.1.1 CPN ML 31 -- 3.1.2 CPN Syntax and Semantics 35 -- 3.1.3 Timed Colored Petri Nets 41 -- 3.1.4 Multisets 47 -- 3.1.5 CPN Definitions 47 -- 3.2 Hierarchical Colored Petri Nets 49 -- References 55 -- 4 WEB SERVICES 57 -- 4.1 Business Process Execution Language 59 -- 4.2 Spring Framework 70 -- 4.3 JAXB 2 APIs 74 -- 4.3.1 Unmarshaling XML Documents 74 -- 4.3.2 Marshaling Java Objects 75 -- References 76 -- 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77 -- 5.1 Motivation 78 -- 5.2 Overview of the Problem and Solution 79 -- 5.3 Related Work 83 -- 5.4 Models for Memory-Efficient State-Space Analysis 86 -- 5.4.1 Sequential Model 87 -- 5.4.2 Tree Model 98 -- 5.5 Experimental Results 108 -- 5.6 Discussion 112 -- 5.7 Summary 113 -- References 113 -- 6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 115 -- 6.1 Motivation 116 -- 6.2 Overview of the Problem and Solution 118 -- 6.3 Overview of Hierarchical Colored Petri Nets 119 -- 6.4 Related Work 123 -- 6.5 Technique for Time-Efficient State-Space Analysis 125 -- 6.5.1 Access Tables and Parameterized Reachability Graph 126 -- 6.5.2 Exploring a Module 129 -- 6.5.3 Access Table and Parameterized Reachability Graph for a Super-module 134 -- 6.5.4 Algorithms for Generating Access Tables and Parameterized Reachability Graphs 137 -- 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs 143 -- 6.5.6 Theoretical Evaluation of the Reduction in Delay 145 -- 6.6 Experimental Results 149 -- 6.7 Discussion 151 -- 6.8 Summary 152 -- References 153 -- 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES 155 -- 7.1 Motivation 156 -- 7.2 Overview of the Problem and Solution 158 -- 7.3 Basics of Substitution Transition 160 -- 7.4 Related Work 161 -- 7.5 Method for Installing Hierarchy 162 -- 7.5.1 Lookup Method 163 -- 7.5.2 Clustering Method 189 -- 7.5.3 Time Complexity of the Lookup Algorithm 193 -- 7.6 Experimental Results 194 -- 7.7 Discussion 201 -- 7.8 Summary 202 -- References 203 -- 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION 205 -- 8.1 Motivation 206 -- 8.2 Overview of the Problem and Solution 208 -- 8.3 Related Work 209 -- 8.4 Colored Petri Net Semantics for BPEL 211 -- 8.4.1 Component A 211 -- 8.4.2 Component B 214 -- 8.4.3 Object Model for BPEL Activities 217 -- 8.4.4 XML Templates 221 -- 8.4.5 Algorithm for Cloning Templates 234 -- 8.5 Results 236 -- 8.6 Discussion 241 -- 8.7 Summary 242 -- References 242 -- 9 CONCLUSIONS AND OUTLOOK 245 -- 9.1 Results 246 -- 9.2 Discussion 249 -- 9.3 What Could Be Improved? 251 -- References 252 -- INDEX 255. |
| Record Nr. | UNINA-9910138999203321 |
|
Tari Zahir <1961, >
|
||
| Hoboken, New Jersey : , : Wiley, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of communication protocols in web services : model-checking service compositions / / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University
| Verification of communication protocols in web services : model-checking service compositions / / Zahir Tari, Peter Bertok, Anshuman Mukherjee, RMIT University |
| Autore | Tari Zahir <1961, > |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , [2014] |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina | 004.6/2 |
| Altri autori (Persone) |
BertókPéter <1952->
MukherjeeAnshuman |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Web services - Testing
Computer network protocols |
| ISBN |
1-118-72010-5
1-118-72013-X |
| Classificazione | COM059000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PREFACE xi -- 1 INTRODUCTION: SERVICE RELIABILITY 1 -- 1.1 Motivation 4 -- 1.2 Technical Challenges 5 -- 1.3 Summary of Earlier Solutions 7 -- 1.4 Summary of New Ways to Verify Web Services 8 -- 1.5 Structure of the Book 10 -- References 11 -- 2 MODEL CHECKING 15 -- 2.1 Advantages and Disadvantages of Model Checking 18 -- 2.2 State-Space Explosion 19 -- 2.3 Model-Checking Tools 22 -- References 25 -- 3 PETRI NETS 27 -- 3.1 Colored Petri Nets 31 -- 3.1.1 CPN ML 31 -- 3.1.2 CPN Syntax and Semantics 35 -- 3.1.3 Timed Colored Petri Nets 41 -- 3.1.4 Multisets 47 -- 3.1.5 CPN Definitions 47 -- 3.2 Hierarchical Colored Petri Nets 49 -- References 55 -- 4 WEB SERVICES 57 -- 4.1 Business Process Execution Language 59 -- 4.2 Spring Framework 70 -- 4.3 JAXB 2 APIs 74 -- 4.3.1 Unmarshaling XML Documents 74 -- 4.3.2 Marshaling Java Objects 75 -- References 76 -- 5 MEMORY-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 77 -- 5.1 Motivation 78 -- 5.2 Overview of the Problem and Solution 79 -- 5.3 Related Work 83 -- 5.4 Models for Memory-Efficient State-Space Analysis 86 -- 5.4.1 Sequential Model 87 -- 5.4.2 Tree Model 98 -- 5.5 Experimental Results 108 -- 5.6 Discussion 112 -- 5.7 Summary 113 -- References 113 -- 6 TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING 115 -- 6.1 Motivation 116 -- 6.2 Overview of the Problem and Solution 118 -- 6.3 Overview of Hierarchical Colored Petri Nets 119 -- 6.4 Related Work 123 -- 6.5 Technique for Time-Efficient State-Space Analysis 125 -- 6.5.1 Access Tables and Parameterized Reachability Graph 126 -- 6.5.2 Exploring a Module 129 -- 6.5.3 Access Table and Parameterized Reachability Graph for a Super-module 134 -- 6.5.4 Algorithms for Generating Access Tables and Parameterized Reachability Graphs 137 -- 6.5.5 Additional Memory Cost for Storing Access Tables and Parameterized Reachability Graphs 143 -- 6.5.6 Theoretical Evaluation of the Reduction in Delay 145 -- 6.6 Experimental Results 149 -- 6.7 Discussion 151 -- 6.8 Summary 152 -- References 153 -- 7 GENERATING HIERARCHICAL MODELS BY IDENTIFYING STRUCTURAL SIMILARITIES 155 -- 7.1 Motivation 156 -- 7.2 Overview of the Problem and Solution 158 -- 7.3 Basics of Substitution Transition 160 -- 7.4 Related Work 161 -- 7.5 Method for Installing Hierarchy 162 -- 7.5.1 Lookup Method 163 -- 7.5.2 Clustering Method 189 -- 7.5.3 Time Complexity of the Lookup Algorithm 193 -- 7.6 Experimental Results 194 -- 7.7 Discussion 201 -- 7.8 Summary 202 -- References 203 -- 8 FRAMEWORK FOR MODELING, SIMULATION, AND VERIFICATION OF A BPEL SPECIFICATION 205 -- 8.1 Motivation 206 -- 8.2 Overview of the Problem and Solution 208 -- 8.3 Related Work 209 -- 8.4 Colored Petri Net Semantics for BPEL 211 -- 8.4.1 Component A 211 -- 8.4.2 Component B 214 -- 8.4.3 Object Model for BPEL Activities 217 -- 8.4.4 XML Templates 221 -- 8.4.5 Algorithm for Cloning Templates 234 -- 8.5 Results 236 -- 8.6 Discussion 241 -- 8.7 Summary 242 -- References 242 -- 9 CONCLUSIONS AND OUTLOOK 245 -- 9.1 Results 246 -- 9.2 Discussion 249 -- 9.3 What Could Be Improved? 251 -- References 252 -- INDEX 255. |
| Record Nr. | UNINA-9910820098903321 |
|
Tari Zahir <1961, >
|
||
| Hoboken, New Jersey : , : Wiley, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Versatile Routing and Services with BGP [[electronic resource] ] : Understanding and Implementing BGP in SR-OS
| Versatile Routing and Services with BGP [[electronic resource] ] : Understanding and Implementing BGP in SR-OS |
| Autore | Alcatel-Lucent |
| Pubbl/distr/stampa | Hoboken, : Wiley, 2014 |
| Descrizione fisica | 1 online resource (362 p.) |
| Disciplina | 004.6 |
| Altri autori (Persone) | BookhamColin |
| Soggetto topico |
BGP (Computer network protocol)
Computer network protocols Internet Electrical & Computer Engineering Engineering & Applied Sciences Telecommunications |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-118-87521-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright; Contents; Chapter 1 Getting Started; Session Negotiation and Capabilities; UPDATE Messages; NOTIFICATION Messages; Multi-Protocol BGP; Chapter 2 BGP/MPLS IP-VPN; Basic Configuration; Prefix Dissemination; Automatic Route Filtering; Route Refresh; Outbound Route Filtering; Soft Reconfiguration; Route Target Constraint; Extensions for IPv6 VPN (6VPE); Core Requirements; PE to CE BGP Peering; Multi-AS Backbones (Inter-AS); Chapter 3 Using BGP in VPLS; BGP Auto-Discovery with LDP Signaling; BGP Auto-Discovery and Signaling; BGP Multi-Homing
Chapter 4 BGP Signaling for VPWSBGP VPWS; Single-Homed VPWS; Multi-Homed VPWS; Dynamic Multi-Segment Pseudowire; Chapter 5 Labeled Unicast IPv4; Seamless MPLS; Transport Layer; Service Layer; Inter-AS Type C; Carriers' Carrier; Notes; Chapter 6 Reconvergence; Advertisement of Multiple Paths; Best External; Next-Hop Tracking; Prefix Independent Convergence (PIC); Core PIC; Edge PIC; Minimum Route Advertisement Interval; BGP Anycast; Chapter 7 Multicast; Inter-Domain IPv4-IPv6 PIM; Multicast in MPLS/BGP IP-VPNs; Draft-Rosen; Multicast VPN; Chapter 8 Graceful Restart and Error Handling Graceful Restart MechanismError Handling; Chapter 9 Security; FlowSpec; Attack Mitigation with Blackhole Action; Attack Mitigation with Redirect to VRF Action; Remote Triggered Blackholing; Generalized TTL Security Mechanism; Auto-Generation of Filters for BGP Peers; Chapter 10 General Applicability; IPv6 PE Router (6PE); Load-Balancing; IBGP-Multipath; Multipath; EIBGP Multipath; IGP Shortcuts; Split Horizon; Peer Groups; BGP in Residential Broadband Networks; QoS Policy Propagation Using BGP; Route Policy Framework; Basic Path Attribute Manipulation; Nested Policies (Next-Policy) SubroutinesNotes; Chapter 11 Looking Ahead; Ethernet VPN (EVPN); Ethernet Auto-Discovery Route; MAC Advertisement Route; Inclusive Multicast Ethernet Tag Route; Ethernet Segment Route; IP Prefix Advertisement Route; Multi-Homing Mode; Control-Plane-Only Route-Reflection; Virtual Route-Reflector; Optimal Route Reflection (ORR); Prefix Origin Validation; Link State Information Distribution Using BGP; Appendix A Path Selection Process; Best-Path Selection Algorithm; Always-Compare-MED; Deterministic MED; References and Glossary; Index |
| Record Nr. | UNINA-9910453958803321 |
|
Alcatel-Lucent
|
||
| Hoboken, : Wiley, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
