Programming Languages and Systems [[electronic resource] ] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / / edited by Sukyoung Ryu |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 437 p. 123 illus.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Computers Artificial intelligence Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Theory of Computation Artificial Intelligence System Performance and Evaluation |
ISBN | 3-030-02768-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking. |
Record Nr. | UNINA-9910349390603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages and Systems [[electronic resource] ] : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / / edited by Sukyoung Ryu |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XI, 437 p. 123 illus.) |
Disciplina | 005.13 |
Collana | Programming and Software Engineering |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Computers Artificial intelligence Computer system failures Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Theory of Computation Artificial Intelligence System Performance and Evaluation |
ISBN | 3-030-02768-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking. |
Record Nr. | UNISA-996466192003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reachability Problems [[electronic resource] ] : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / / edited by Emmanuel Filiot, Raphaël Jungers, Igor Potapov |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XX, 233 p. 275 illus., 14 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Artificial intelligence Electronic digital computers—Evaluation Computers Professions Computer science—Mathematics Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence System Performance and Evaluation The Computing Profession Mathematics of Computing |
ISBN | 3-030-30806-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bidding Games on Markov Decision Processes -- Primitivity and synchronizing automata: a functional analytic approach -- Reaching Out Towards Fully Verified Autonomous Systems -- On the m-eternal Domination Number of Cactus Graphs -- On Relevant Equilibria in Reachability Games -- Partial Solvers for Generalized Parity Games -- Reachability in Augmented Interval Markov Chains -- On Solving Word Equations Using SAT -- Parameterised Verification of Publish/Subscribe Networks with Exception Handling -- Cellular automata for the self-stabilisation of colourings and tilings -- On the termination problem for counter machines with incrementing errors -- Reachability Problems on Partially Lossy Queue Automata -- On the computation of the minimal coverability set of Petri nets -- Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds -- Coverability is undecidable in one-dimensional pushdown vector addition systems with resets -- Synthesis of structurally restricted b-bounded Petri nets: complexity results -- Reachability of Five Gossip Protocols. |
Record Nr. | UNISA-996466284203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reachability Problems [[electronic resource] ] : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / / edited by Emmanuel Filiot, Raphaël Jungers, Igor Potapov |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XX, 233 p. 275 illus., 14 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Artificial intelligence Electronic digital computers—Evaluation Computers Professions Computer science—Mathematics Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence System Performance and Evaluation The Computing Profession Mathematics of Computing |
ISBN | 3-030-30806-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Bidding Games on Markov Decision Processes -- Primitivity and synchronizing automata: a functional analytic approach -- Reaching Out Towards Fully Verified Autonomous Systems -- On the m-eternal Domination Number of Cactus Graphs -- On Relevant Equilibria in Reachability Games -- Partial Solvers for Generalized Parity Games -- Reachability in Augmented Interval Markov Chains -- On Solving Word Equations Using SAT -- Parameterised Verification of Publish/Subscribe Networks with Exception Handling -- Cellular automata for the self-stabilisation of colourings and tilings -- On the termination problem for counter machines with incrementing errors -- Reachability Problems on Partially Lossy Queue Automata -- On the computation of the minimal coverability set of Petri nets -- Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds -- Coverability is undecidable in one-dimensional pushdown vector addition systems with resets -- Synthesis of structurally restricted b-bounded Petri nets: complexity results -- Reachability of Five Gossip Protocols. |
Record Nr. | UNINA-9910349282703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Recurrent neural networks for short-term load forecasting [[electronic resource] ] : an overview and comparative analysis / / by Filippo Maria Bianchi, Enrico Maiorino, Michael C. Kampffmeyer, Antonello Rizzi, Robert Jenssen |
Autore | Bianchi Filippo Maria |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (IX, 72 p. 20 illus.) |
Disciplina | 006.32 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Artificial intelligence
Computer system failures Power electronics Energy efficiency Computer software—Reusability Artificial Intelligence System Performance and Evaluation Power Electronics, Electrical Machines and Networks Energy Efficiency Performance and Reliability |
ISBN | 3-319-70338-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Properties and Training in Recurrent Neural Networks -- Recurrent Neural Networks Architectures -- Other Recurrent Neural Networks Models -- Synthetic Time Series -- Real-World Load Time Series -- Experiments -- Conclusions. . |
Record Nr. | UNINA-9910254824303321 |
Bianchi Filippo Maria | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reuse in the Big Data Era [[electronic resource] ] : 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings / / edited by Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 257 p. 90 illus., 44 illus. in color.) |
Disciplina | 620.7 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Software engineering Computers Computer system failures Artificial intelligence Programming Techniques Software Engineering Computing Milieux System Performance and Evaluation Information Systems and Communication Service Artificial Intelligence |
ISBN | 3-030-22888-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Software Reuse Practice -- A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios -- Software Product Line and Requirements Reuse -- Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines -- Towards a Software System for Facilitating the Reuse of Business Processes -- Automated Support to Capture Creative Requirements via Requirements Reuse -- A Comparative Analysis of Game Engines to Develop Core Assets for a Software Product Line of Mini-Games -- Reuse and Design and Evolution -- Behavioral Evolution of Design Patterns: Understanding Software Reuse through the Evolution of Pattern Behavior -- Developing a Flexible Simulation-optimization Framework to Facilitate Sustainable Urban Drainage Systems Designs through Software Reuse -- Automatically Extracting Bug Reproducing Steps from Android Bug Reports -- Intelligent Software Reuse -- Searching Software Knowledge Graph with Question -- SemiTagRec: A Semi-supervised Learning based Tag Recommendation Approach for Docker Repositories -- Slicing Based Code Recommendation for Type Based Instance Retrieval -- NLI2Code: Reusing Libraries with Natural Language Interface -- Domain-Specific Software Development -- A Double-Edged Sword? Software Reuse and Potential Security Vulnerabilities -- ACO-RR: Ant Colony Optimization Ridge Regression in Reuse of Smart City System -- An Improved Approach for Complex Activity Recognition in Smart Homes -- Examining the reusability of Smart Home applications: A Case Study on Eclipse Smart Home. |
Record Nr. | UNINA-9910337856903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reuse in the Big Data Era [[electronic resource] ] : 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings / / edited by Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 257 p. 90 illus., 44 illus. in color.) |
Disciplina | 620.7 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Software engineering Computers Computer system failures Artificial intelligence Programming Techniques Software Engineering Computing Milieux System Performance and Evaluation Information Systems and Communication Service Artificial Intelligence |
ISBN | 3-030-22888-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Software Reuse Practice -- A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios -- Software Product Line and Requirements Reuse -- Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines -- Towards a Software System for Facilitating the Reuse of Business Processes -- Automated Support to Capture Creative Requirements via Requirements Reuse -- A Comparative Analysis of Game Engines to Develop Core Assets for a Software Product Line of Mini-Games -- Reuse and Design and Evolution -- Behavioral Evolution of Design Patterns: Understanding Software Reuse through the Evolution of Pattern Behavior -- Developing a Flexible Simulation-optimization Framework to Facilitate Sustainable Urban Drainage Systems Designs through Software Reuse -- Automatically Extracting Bug Reproducing Steps from Android Bug Reports -- Intelligent Software Reuse -- Searching Software Knowledge Graph with Question -- SemiTagRec: A Semi-supervised Learning based Tag Recommendation Approach for Docker Repositories -- Slicing Based Code Recommendation for Type Based Instance Retrieval -- NLI2Code: Reusing Libraries with Natural Language Interface -- Domain-Specific Software Development -- A Double-Edged Sword? Software Reuse and Potential Security Vulnerabilities -- ACO-RR: Ant Colony Optimization Ridge Regression in Reuse of Smart City System -- An Improved Approach for Complex Activity Recognition in Smart Homes -- Examining the reusability of Smart Home applications: A Case Study on Eclipse Smart Home. |
Record Nr. | UNISA-996466298603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service-Oriented Computing [[electronic resource] ] : 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings / / edited by Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (xix, 583 pages) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Application software Computer communication systems Computer system failures Coding theory Information theory Artificial intelligence Software Engineering Information Systems Applications (incl. Internet) Computer Communication Networks System Performance and Evaluation Coding and Information Theory Artificial Intelligence |
ISBN | 3-030-33702-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Microservices -- Services and Processes -- Service Trust and Security -- Business Services and Processes -- Edge + IoT Services -- Social and Interactive Services -- Recommendation -- Service Analytics -- Quality of Service -- Service Engineering -- Service Applications -- Service Management. . |
Record Nr. | UNISA-996466281603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service-Oriented Computing [[electronic resource] ] : 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings / / edited by Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (xix, 583 pages) |
Disciplina | 004.6 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Application software Computer communication systems Computer system failures Coding theory Information theory Artificial intelligence Software Engineering Information Systems Applications (incl. Internet) Computer Communication Networks System Performance and Evaluation Coding and Information Theory Artificial Intelligence |
ISBN | 3-030-33702-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Microservices -- Services and Processes -- Service Trust and Security -- Business Services and Processes -- Edge + IoT Services -- Social and Interactive Services -- Recommendation -- Service Analytics -- Quality of Service -- Service Engineering -- Service Applications -- Service Management. . |
Record Nr. | UNINA-9910349268103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Service-Oriented Computing [[electronic resource] ] : 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings / / edited by Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVI, 743 p. 235 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Computer system failures Application software E-commerce Software Engineering Artificial Intelligence Computer Communication Networks System Performance and Evaluation Information Systems Applications (incl. Internet) e-Commerce/e-business |
ISBN | 3-319-69035-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465327903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|