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.
Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen
| Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 431 p. 787 illus., 52 illus. in color.) |
| Disciplina | 004.01 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Algorithms Models of Computation Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-22348-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| Record Nr. | UNISA-996465614703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen
| Models, Mindsets, Meta: The What, the How, and the Why Not? [[electronic resource] ] : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / / edited by Tiziana Margaria, Susanne Graf, Kim G. Larsen |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 431 p. 787 illus., 52 illus. in color.) |
| Disciplina | 004.01 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Machine theory Algorithms Models of Computation Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-22348-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Kiel 1983-87 -- Edinburgh 1987-89 -- Aarhus 1989-90 -- Aachen 1990-93 -- Passau 1993-97 -- Dortmund 1997 – Today. |
| Record Nr. | UNINA-9910337857803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Network and Parallel Computing [[electronic resource] ] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings / / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen
| Network and Parallel Computing [[electronic resource] ] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings / / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 366 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer engineering Data structures (Computer science) Information theory Computer science Cryptography Data encryption (Computer science) Computer Communication Networks Computer Engineering and Networks Data Structures and Information Theory Models of Computation Cryptology |
| ISBN | 3-540-88140-9 |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Network Technologies -- An AIAD-Based Adaptive Routing Protocol in Ad-Hoc Wireless Networks -- Adaptive Neighbor Selection for Service Discovery in Mobile Ad Hoc Networks -- A Formal Approach to Robustness Testing of Network Protocol -- Deadline Probing: Towards Timely Cognitive Wireless Network -- SRDFA: A Kind of Session Reconstruction DFA -- Measuring the Normality of Web Proxies’ Behavior Based on Locality Principles -- Network Applications -- Feedback Control-Based Database Connection Management for Proportional Delay Differentiation-Enabled Web Application Servers -- Research on the Detection of Distributed Denial of Service Attacks Based on the Characteristics of IP Flow -- Password-Authenticated Key Exchange between Clients in a Cross-Realm Setting -- Forward Secure Password-Based Authenticated Key Distribution in the Three-Party Setting -- Key Management Using Certificateless Public Key Cryptography in Ad Hoc Networks -- A Data Storage Mechanism for P2P VoD Based on Multi-channel Overlay -- HTL: A Locality Bounded Flat Hash Location Service -- Accelerating the Propagation of Active Worms by Employing Multiple Target Discovery Techniques -- Online Accumulation: Reconstruction of Worm Propagation Path -- HRS: A Hybrid Replication Strategy for Exhaustive P2P Search -- ResourceDog: A Trusted Resource Discovery and Automatic Invocation P2P Framework -- Network and Parallel Architectures -- A Novel Approach to Manage Asymmetric Traffic Flows for Secure Network Proxies -- Automatic Transformation for Overlapping Communication and Computation -- Cooperative Communication System for Parallel Computing Agents in Multi-cluster Grid -- CPI: A Novel Three-Phase Algorithm for QoS-Aware Replica Placement Problem -- Online Balancing Two Independent Criteria -- Procrastination Scheduling for Fixed-Priority Tasks with Preemption Thresholds -- Parallel and Distributed Software -- Survey on Parallel Programming Model -- An Integrated Framework for Wireless Sensor Web Service and Its Performance Analysis Based on Queue Theory -- Grid Computing: A Case Study in Hybrid GMRES Method -- Towards Resource Reliability Support for Grid Workflows -- A SyncML Middleware-Based Solution for Pervasive Relational Data Synchronization -- An Efficient Authentication and Key Agreement Protocol in RFID System -- Grid Service Discovery Based on Cross-VO Service Domain Model -- Ontology-Based Semantic Method for Service Modeling in Grid -- A Scalable and Adaptive Distributed Service Discovery Mechanism in SOC Environments. |
| Record Nr. | UNINA-9910483800403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Network and Parallel Computing [[electronic resource] ] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings / / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen
| Network and Parallel Computing [[electronic resource] ] : IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings / / edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 366 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Computer engineering Data structures (Computer science) Information theory Computer science Cryptography Data encryption (Computer science) Computer Communication Networks Computer Engineering and Networks Data Structures and Information Theory Models of Computation Cryptology |
| ISBN | 3-540-88140-9 |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Network Technologies -- An AIAD-Based Adaptive Routing Protocol in Ad-Hoc Wireless Networks -- Adaptive Neighbor Selection for Service Discovery in Mobile Ad Hoc Networks -- A Formal Approach to Robustness Testing of Network Protocol -- Deadline Probing: Towards Timely Cognitive Wireless Network -- SRDFA: A Kind of Session Reconstruction DFA -- Measuring the Normality of Web Proxies’ Behavior Based on Locality Principles -- Network Applications -- Feedback Control-Based Database Connection Management for Proportional Delay Differentiation-Enabled Web Application Servers -- Research on the Detection of Distributed Denial of Service Attacks Based on the Characteristics of IP Flow -- Password-Authenticated Key Exchange between Clients in a Cross-Realm Setting -- Forward Secure Password-Based Authenticated Key Distribution in the Three-Party Setting -- Key Management Using Certificateless Public Key Cryptography in Ad Hoc Networks -- A Data Storage Mechanism for P2P VoD Based on Multi-channel Overlay -- HTL: A Locality Bounded Flat Hash Location Service -- Accelerating the Propagation of Active Worms by Employing Multiple Target Discovery Techniques -- Online Accumulation: Reconstruction of Worm Propagation Path -- HRS: A Hybrid Replication Strategy for Exhaustive P2P Search -- ResourceDog: A Trusted Resource Discovery and Automatic Invocation P2P Framework -- Network and Parallel Architectures -- A Novel Approach to Manage Asymmetric Traffic Flows for Secure Network Proxies -- Automatic Transformation for Overlapping Communication and Computation -- Cooperative Communication System for Parallel Computing Agents in Multi-cluster Grid -- CPI: A Novel Three-Phase Algorithm for QoS-Aware Replica Placement Problem -- Online Balancing Two Independent Criteria -- Procrastination Scheduling for Fixed-Priority Tasks with Preemption Thresholds -- Parallel and Distributed Software -- Survey on Parallel Programming Model -- An Integrated Framework for Wireless Sensor Web Service and Its Performance Analysis Based on Queue Theory -- Grid Computing: A Case Study in Hybrid GMRES Method -- Towards Resource Reliability Support for Grid Workflows -- A SyncML Middleware-Based Solution for Pervasive Relational Data Synchronization -- An Efficient Authentication and Key Agreement Protocol in RFID System -- Grid Service Discovery Based on Cross-VO Service Domain Model -- Ontology-Based Semantic Method for Service Modeling in Grid -- A Scalable and Adaptive Distributed Service Discovery Mechanism in SOC Environments. |
| Record Nr. | UNISA-996465639103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley
| Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXI, 501 p. 95 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Mathematical statistics Computer science Artificial Intelligence Numerical Analysis Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Models of Computation |
| ISBN | 3-319-99259-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466349503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley
| Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 539 p. 178 illus.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Mathematical statistics Computer science Artificial Intelligence Numerical Analysis Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Models of Computation |
| ISBN | 3-319-99253-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466350803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley
| Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 539 p. 178 illus.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Mathematical statistics Computer science Artificial Intelligence Numerical Analysis Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Models of Computation |
| ISBN | 3-319-99253-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349410603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley
| Parallel Problem Solving from Nature – PPSN XV [[electronic resource] ] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / / edited by Anne Auger, Carlos M. Fonseca, Nuno Lourenço, Penousal Machado, Luís Paquete, Darrell Whitley |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXI, 501 p. 95 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Artificial intelligence
Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Mathematical statistics Computer science Artificial Intelligence Numerical Analysis Discrete Mathematics in Computer Science Probability and Statistics in Computer Science Models of Computation |
| ISBN | 3-319-99259-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349410503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Replication [[electronic resource] ] : Theory and Practice / / edited by Bernadette Charron-Bost, Fernando Pedone, Andre Schiper
| Replication [[electronic resource] ] : Theory and Practice / / edited by Bernadette Charron-Bost, Fernando Pedone, Andre Schiper |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (297 p.) |
| Disciplina | 005.86 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Cryptography Data encryption (Computer science) Computer networks Computer science Database management Programming Techniques Cryptology Computer Communication Networks Computer Science Models of Computation Database Management |
| ISBN |
1-280-38539-1
9786613563316 3-642-11294-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Consistency Models for Replicated Data -- Replication Techniques for Availability -- Modular Approach to Replication for Availability -- Stumbling over Consensus Research: Misunderstandings and Issues -- Replicating for Performance: Case Studies -- A History of the Virtual Synchrony Replication Model -- From Viewstamped Replication to Byzantine Fault Tolerance -- Implementing Trustworthy Services Using Replicated State Machines -- State Machine Replication with Byzantine Faults -- Selected Results from the Latest Decade of Quorum Systems Research -- From Object Replication to Database Replication -- Database Replication: A Tutorial -- Practical Database Replication. |
| Record Nr. | UNISA-996465322203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Replication [[electronic resource] ] : Theory and Practice / / edited by Bernadette Charron-Bost, Fernando Pedone, Andre Schiper
| Replication [[electronic resource] ] : Theory and Practice / / edited by Bernadette Charron-Bost, Fernando Pedone, Andre Schiper |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (297 p.) |
| Disciplina | 005.86 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Cryptography Data encryption (Computer science) Computer networks Computer science Database management Programming Techniques Cryptology Computer Communication Networks Computer Science Models of Computation Database Management |
| ISBN |
1-280-38539-1
9786613563316 3-642-11294-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Consistency Models for Replicated Data -- Replication Techniques for Availability -- Modular Approach to Replication for Availability -- Stumbling over Consensus Research: Misunderstandings and Issues -- Replicating for Performance: Case Studies -- A History of the Virtual Synchrony Replication Model -- From Viewstamped Replication to Byzantine Fault Tolerance -- Implementing Trustworthy Services Using Replicated State Machines -- State Machine Replication with Byzantine Faults -- Selected Results from the Latest Decade of Quorum Systems Research -- From Object Replication to Database Replication -- Database Replication: A Tutorial -- Practical Database Replication. |
| Record Nr. | UNINA-9910482974603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Computer science (95)
-
Models of Computation
(95)
- Artificial Intelligence (55)
- Artificial intelligence (55)
- Algorithms (32)