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.
Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
| Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 335 p.) |
| Disciplina | 004.22 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Special purpose computers Computer system failures Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Systems Organization and Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Operating Systems |
| ISBN | 3-642-10248-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures -- Towards Self-adaptation for Dependable Service-Oriented Systems -- Architecting Dependable Access Control Systems for Multi-domain Computing Environments -- Soft Constraints for Dependable Service Oriented Architectures -- Robustness Validation in Service-Oriented Architectures -- 2. Fault Tolerance and System Evaluation -- A Self-repair Architecture for Cluster Systems -- Handling Software Faults with Redundancy -- A Uniform Approach to Security and Fault-Tolerance Specification and Analysis -- A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation -- 3. Architecting Security -- Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems -- Architecting Security with Paradigm -- Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services -- Compositional Verification of Architectural Refactorings. |
| Record Nr. | UNISA-996465641703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation [[electronic resource] ] : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / / edited by Fabio Gadducci, Timo Kehrer
| Graph Transformation [[electronic resource] ] : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / / edited by Fabio Gadducci, Timo Kehrer |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (311 pages) |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Computer graphics Algorithms Data structures (Computer science) Information theory Computer programming Discrete Mathematics in Computer Science Computer Graphics Design and Analysis of Algorithms Data Structures and Information Theory Programming Techniques |
| ISBN | 3-030-78946-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Advances -- Concurrency Theorems for Non-linear Rewriting Theories -- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting -- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors -- Graph Rewriting and Relabeling with PBPO+ -- Incorrectness Logic for Graph Programs -- Powerful and NP-Complete: Hypergraph Lambek Grammars -- Evaluation Diversity for Graph Conditions -- Application Domains -- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching -- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars -- Nets with Mana: A Framework for Chemical Reaction Modelling -- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles -- Interval Probabilistic Timed Graph Transformation Systems -- Verifying Graph Programs with Monadic Second-Order Logic -- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems -- Tool Presentations -- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars -- GrapePress - A Computational Notebook for Graph Transformations. |
| Record Nr. | UNISA-996464530303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / / edited by Fabio Gadducci, Timo Kehrer
| Graph Transformation : 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / / edited by Fabio Gadducci, Timo Kehrer |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (311 pages) |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Computer graphics Algorithms Data structures (Computer science) Information theory Computer programming Discrete Mathematics in Computer Science Computer Graphics Design and Analysis of Algorithms Data Structures and Information Theory Programming Techniques |
| ISBN | 3-030-78946-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Advances -- Concurrency Theorems for Non-linear Rewriting Theories -- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting -- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors -- Graph Rewriting and Relabeling with PBPO+ -- Incorrectness Logic for Graph Programs -- Powerful and NP-Complete: Hypergraph Lambek Grammars -- Evaluation Diversity for Graph Conditions -- Application Domains -- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching -- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars -- Nets with Mana: A Framework for Chemical Reaction Modelling -- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles -- Interval Probabilistic Timed Graph Transformation Systems -- Verifying Graph Programs with Monadic Second-Order Logic -- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems -- Tool Presentations -- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars -- GrapePress - A Computational Notebook for Graph Transformations. |
| Record Nr. | UNINA-9910485592803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformation [[electronic resource] ] : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / / edited by Fabio Gadducci, Timo Kehrer
| Graph Transformation [[electronic resource] ] : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / / edited by Fabio Gadducci, Timo Kehrer |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (346 pages) : illustrations |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Artificial intelligence—Data processing Compilers (Computer programs) Computer programming Discrete Mathematics in Computer Science Data Science Compilers and Interpreters Programming Techniques |
| ISBN | 3-030-51372-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Advances -- Conditional Bigraphs -- Confluence up to Garbage -- Computing embeddings of directed bigraphs -- A Categorical Semantics for Guarded Petri Nets -- Unfolding Symbolic Attributed Graph Grammars -- Single Pushout Rewriting in Comprehensive Systems -- Initial Conflicts for Transformation Rules with Nested Application Conditions -- Patch Graph Rewriting -- Hypergraph basic categorial grammars -- Multilevel Typed Graph Transformations -- Application Domains -- Rewriting Theory for the Life Sciences: A Unifying Framework for CTMC Semantics -- Algebras for tree decomposable graphs -- Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers -- Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations -- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions -- Optimistic and Pessimistic On-the- y Analysis for Metric Temporal Graph Logic -- Tool Presentations -- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java -- Multiscale graph grammars can generate Cayley graphs of groups and monoids -- The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants -- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. |
| Record Nr. | UNISA-996418293203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / / edited by Fabio Gadducci, Timo Kehrer
| Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / / edited by Fabio Gadducci, Timo Kehrer |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (346 pages) : illustrations |
| Disciplina | 511.5 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Algorithms Artificial intelligence - Data processing Compilers (Computer programs) Computer programming Discrete Mathematics in Computer Science Data Science Compilers and Interpreters Programming Techniques |
| ISBN | 3-030-51372-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theoretical Advances -- Conditional Bigraphs -- Confluence up to Garbage -- Computing embeddings of directed bigraphs -- A Categorical Semantics for Guarded Petri Nets -- Unfolding Symbolic Attributed Graph Grammars -- Single Pushout Rewriting in Comprehensive Systems -- Initial Conflicts for Transformation Rules with Nested Application Conditions -- Patch Graph Rewriting -- Hypergraph basic categorial grammars -- Multilevel Typed Graph Transformations -- Application Domains -- Rewriting Theory for the Life Sciences: A Unifying Framework for CTMC Semantics -- Algebras for tree decomposable graphs -- Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers -- Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations -- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions -- Optimistic and Pessimistic On-the- y Analysis for Metric Temporal Graph Logic -- Tool Presentations -- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java -- Multiscale graph grammars can generate Cayley graphs of groups and monoids -- The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants -- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies. |
| Record Nr. | UNINA-9910409661003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
History and Philosophy of Computing : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / / edited by Fabio Gadducci, Mirko Tavosanis
| History and Philosophy of Computing : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / / edited by Fabio Gadducci, Mirko Tavosanis |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 321 p. 39 illus.) |
| Disciplina | 004.09 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Computers - History
Computer science Artificial intelligence Software engineering Computers History of Computing Theory of Computation Artificial Intelligence Software Engineering Computer Hardware |
| ISBN | 3-319-47286-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910255015503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Preliminary proceedings of the third International conference on the history and philosophy of computing, HaPoC 2015 : 8-11 oct 2015, Pisa, Italy / / Fabio Gadducci, Mirko Tavosanis editors
| Preliminary proceedings of the third International conference on the history and philosophy of computing, HaPoC 2015 : 8-11 oct 2015, Pisa, Italy / / Fabio Gadducci, Mirko Tavosanis editors |
| Pubbl/distr/stampa | Pisa, : Pisa University Press, 2015 |
| Descrizione fisica | 95 p |
| Altri autori (Persone) |
GadducciFabio
TavosanisMirko |
| Collana | Quaderni della Fondazione Galileo Galilei |
| Soggetto topico | Informatica - Storia - Congressi - 2015 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910230764703321 |
| Pisa, : Pisa University Press, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||