Computing and Combinatorics [[electronic resource] ] : 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / / edited by Ding-Zhu Du, Zhenhua Duan, Cong Tian |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIII, 678 p. 493 illus., 35 illus. in color.) |
Disciplina | 005.10685 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Numerical analysis Artificial intelligence Computer graphics Discrete Mathematics in Computer Science Data Science Numerical Analysis Artificial Intelligence Computer Graphics |
ISBN | 3-030-26176-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. |
Record Nr. | UNISA-996466179703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computing and Combinatorics [[electronic resource] ] : 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / / edited by Ding-Zhu Du, Zhenhua Duan, Cong Tian |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIII, 678 p. 493 illus., 35 illus. in color.) |
Disciplina | 005.10685 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Numerical analysis Artificial intelligence Computer graphics Discrete Mathematics in Computer Science Data Science Numerical Analysis Artificial Intelligence Computer Graphics |
ISBN | 3-030-26176-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. |
Record Nr. | UNINA-9910349309603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers / / edited by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (IX, 364 p. 174 illus., 64 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer engineering Computer networks Artificial intelligence Computer science Software Engineering Computer Engineering and Networks Artificial Intelligence Computer Communication Networks Theory of Computation |
ISBN | 3-030-41418-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection. |
Record Nr. | UNISA-996418206303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers / / edited by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (IX, 364 p. 174 illus., 64 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer engineering Computer networks Artificial intelligence Computer science Software Engineering Computer Engineering and Networks Artificial Intelligence Computer Communication Networks Theory of Computation |
ISBN | 3-030-41418-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection. |
Record Nr. | UNINA-9910380747603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VIII, 197 p. 107 illus., 33 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Artificial intelligence Electronic digital computers—Evaluation Computer science Computer simulation Computers Software Engineering Artificial Intelligence System Performance and Evaluation Theory of Computation Computer Modelling Computing Milieux |
ISBN | 3-030-13651-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Programming and testing -- Verification and validation -- Semantics -- Blockchain. |
Record Nr. | UNISA-996466442803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VIII, 197 p. 107 illus., 33 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Artificial intelligence Electronic digital computers—Evaluation Computer science Computer simulation Computers Software Engineering Artificial Intelligence System Performance and Evaluation Theory of Computation Computer Modelling Computing Milieux |
ISBN | 3-030-13651-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Programming and testing -- Verification and validation -- Semantics -- Blockchain. |
Record Nr. | UNINA-9910337573203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 219 p. 66 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Algorithms Computer science Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Artificial Intelligence |
ISBN | 3-319-90104-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. |
Record Nr. | UNISA-996465611403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / / edited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 219 p. 66 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Algorithms Computer science Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Artificial Intelligence |
ISBN | 3-319-90104-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. |
Record Nr. | UNINA-9910349423203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 239 p. 71 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Artificial intelligence Computer engineering Computer networks Computers Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Computer Hardware |
ISBN | 3-319-57708-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . |
Record Nr. | UNISA-996465807603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (X, 239 p. 71 illus.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Artificial intelligence Computer engineering Computer networks Computers Software Engineering Theory of Computation Artificial Intelligence Computer Engineering and Networks Computer Hardware |
ISBN | 3-319-57708-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . |
Record Nr. | UNINA-9910483536903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|