top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Product-Focused Software Process Improvement [[electronic resource] ] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10–13, 2023, Proceedings, Part II / / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li
Product-Focused Software Process Improvement [[electronic resource] ] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10–13, 2023, Proceedings, Part II / / edited by Regine Kadgien, Andreas Jedlitschka, Andrea Janes, Valentina Lenarduzzi, Xiaozhou Li
Autore Kadgien Regine
Edizione [1st ed. 2024.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Descrizione fisica 1 online resource (163 pages)
Disciplina 005.1
Altri autori (Persone) JedlitschkaAndreas
JanesAndrea
LenarduzziValentina
LiXiaozhou
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Operating systems (Computers)
Information technology - Management
Computer networks
Artificial intelligence
Education - Data processing
Software Engineering
Operating Systems
Computer Application in Administrative Data Processing
Computer Communication Networks
Artificial Intelligence
Computers and Education
ISBN 3-031-49269-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Poster -- Metrics for Code Smells of ML Pipelines -- Tutorial -- Declarative Process Mining for Software Processes: the RuM toolkit and the Declare4Py Python library -- 2nd Workshop on Computational Intelligence and Software Engineering (CISE 2023) -- MaREA: Multi-class Random Forest for Automotive Intrusion Detection -- Forecasting The Developer's Impact in Managing the Technical Debt -- Development of a Desktop Application to Enable Doctors to Remotely Monitor Patients’ Hematological Parameters -- The significance of classical simulations in the adoption of quantum technologies for software development -- Enhancing Bug-Fixing Time Prediction with LSTM-Based Approach -- Enhancing Code Obfuscation Techniques: Exploring the Impact of Artificial Intelligence on Malware Detection -- A perspective on the interplay between 5G and quantum computing for secure algorithm -- Speech Therapy supported by AI and smart assistants -- 2nd Workshop on Engineering Processes and Practices for Quantum Software (PPQS’ 23) -- Integration of Classical and Quantum Services Using an Enterprise Service Bus -- Problem decomposition to leverage quantum computing for optimization problems -- Quantum Algorithm Cards: Streamlining the development of hybrid classical-quantum applications -- Doctoral Symposium -- Simulation-Based Safety Testing of Automated Driving Systems -- Utilization of Machine Learning for the detection of self-admitted vulnerabilities -- Closing the Loop: Towards a Complete Metamorphic Testing Pipeline.
Record Nr. UNISA-996587870303316
Kadgien Regine  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Robot Operating System (ROS) [[electronic resource] ] : The Complete Reference (Volume 7) / / edited by Anis Koubaa
Robot Operating System (ROS) [[electronic resource] ] : The Complete Reference (Volume 7) / / edited by Anis Koubaa
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (239 pages)
Disciplina 629.892543
Collana Studies in Computational Intelligence
Soggetto topico Control engineering
Robotics
Automation
Operating systems (Computers)
Artificial intelligence
Computational intelligence
Control, Robotics, Automation
Operating Systems
Artificial Intelligence
Computational Intelligence
ISBN 9783031090622
9783031090615
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto micro-ROS- Lab-scale Smart Factory Implementation Using ROS -- High Fidelity IMU and Wheel Encoder Models for ROS based AGV Simulations -- Autonomous Laser-Induced Breakdown Spectroscopy System for Chemical and Mineralogical Designation of Interplanetary.
Record Nr. UNINA-9910647787603321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Robot Operating System (ROS) [[electronic resource] ] : The Complete Reference (Volume 3) / / edited by Anis Koubaa
Robot Operating System (ROS) [[electronic resource] ] : The Complete Reference (Volume 3) / / edited by Anis Koubaa
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (X, 605 p. 262 illus., 215 illus. in color.)
Disciplina 629.892
Collana Studies in Computational Intelligence
Soggetto topico Robotics
Automation
Operating systems (Computers)
Artificial intelligence
Computational intelligence
Robotics and Automation
Operating Systems
Artificial Intelligence
Computational Intelligence
ISBN 3-319-91590-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A ROS-based framework for simulation and benchmarking of multi-robot patrolling algorithms -- ROS: Developing a new generation of operator interfaces -- Autonomous Exploration and Inspection Path Planning for Aerial Robots using the Robot Operating System -- A generic ROS-based System for Rapid Development and Testing of Algorithms for Autonomous Ground and Aerial Vehicles -- A generic ROS-based System for Rapid Development and Testing of Algorithms for Autonomous Ground and Aerial Vehicles -- ROS-based Approach for Unmanned Vehicles in Civil Applications -- A quadcopter and mobile robot cooperative task using Augmented Reality Tags -- An Extensible Optimization Toolset for Motion Planning and Control Prototyping and Benchmarking -- Online Trajectory Optimization and Navigation for Dynamic Environments in ROS -- A Backstepping Non-smooth Controller for ROS-based Differential-Drive Mobile Robots -- University Rover Challenge: Tutorials and Control System Survey -- SROS: Using and Developing Secure ROS Systems -- GPU and ROS - The use of general parallel processing architecture for robot perception -- Connecting ROS and FIWARE: concepts and tutorial.
Record Nr. UNINA-9910483813403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Search Based Software Engineering [[electronic resource] ] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / / edited by Tim Menzies, Justyna Petke
Search Based Software Engineering [[electronic resource] ] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / / edited by Tim Menzies, Justyna Petke
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXVI, 197 p. 33 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Operating systems (Computers)
Programming languages (Electronic computers)
Artificial intelligence
Algorithms
Logic design
Software Engineering
Operating Systems
Programming Languages, Compilers, Interpreters
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Logic Design
ISBN 3-319-66299-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Search-Based Software Engineering -- Software testing -- Automated Program Repair -- Software Evolution -- Combinatorial Testing -- Software Requirements Analysis -- Software Configuration -- Multi-Objective Optimization -- Evolutionary computation -- Software Diversity -- Mutation Testing.
Record Nr. UNISA-996465876303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Search Based Software Engineering [[electronic resource] ] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / / edited by Tim Menzies, Justyna Petke
Search Based Software Engineering [[electronic resource] ] : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / / edited by Tim Menzies, Justyna Petke
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXVI, 197 p. 33 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Operating systems (Computers)
Programming languages (Electronic computers)
Artificial intelligence
Algorithms
Logic design
Software Engineering
Operating Systems
Programming Languages, Compilers, Interpreters
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Logic Design
ISBN 3-319-66299-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Search-Based Software Engineering -- Software testing -- Automated Program Repair -- Software Evolution -- Combinatorial Testing -- Software Requirements Analysis -- Software Configuration -- Multi-Objective Optimization -- Evolutionary computation -- Software Diversity -- Mutation Testing.
Record Nr. UNINA-9910483783703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Search-Based Software Engineering [[electronic resource] ] : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / / edited by Thelma Elita Colanzi, Phil McMinn
Search-Based Software Engineering [[electronic resource] ] : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / / edited by Thelma Elita Colanzi, Phil McMinn
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 393 p. 88 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Artificial intelligence
Operating systems (Computers)
Algorithms
Computer hardware
Software Engineering
Artificial Intelligence
Operating Systems
Algorithm Analysis and Problem Complexity
Computer Hardware
ISBN 3-319-99241-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Deploying Search Based Software Engineering with Sapienz at Facebook -- Evolving Living Technologies — Insights from the EvoEvo Project -- Ultra-Large Repair Search Space with Automatically Mined Templates: The Cardumen Mode of Astor -- How Can Metaheuristics Help Software Engineers? -- A Tutorial on Using and Extending the EvoSuite Search-Based Test Generator -- A Preliminary Systematic Mapping Study of Human Competitiveness of SBSE -- Search-Based Stress Testing the Elastic Resource Provisioning for Cloud-Based Applications -- Injecting Social Diversity in Multi-Objective Genetic Programming: The Case of Model Well-formedness Rule Learning -- Automated Optimization of Weighted Non-Functional Objectives in Self-Adaptive Systems -- Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits -- Damage Reduction Via White-box Failure Shaping -- Automated Co-Evolution of Metamodels and Transformation Rules: A Search-Based Approach -- Learning Without Peeking: Secure Multi-Party Computation Genetic Programming -- Towards Minimizing the Impact of Changes Using Search-Based Approach -- Exploring Evolutionary Search Strategies to Improve Applications’ Energy Efficiency -- Optimization Experiments in the Continuous Space The Limited Growth Optimistic Optimization Algorithm -- Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation -- Single-objective Versus Multi-Objectivized Optimization for Evolutionary Crash Reproduction -- A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses -- Learning Fault Localization for Both Humans and Machines Using Multi-Objective GP -- Mapping Class Dependencies for Fun and Profit -- Evolving Better Software Parameters -- On the Placebo Effect in Interactive SBSE: A Preliminary Study -- EvoIsolator: Evolving Program Slices for Hardware Isolation Based Security -- Detecting Real Faults in the Gson Library Through Search-Based Unit Test Generation.
Record Nr. UNINA-9910349411903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Search-Based Software Engineering [[electronic resource] ] : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / / edited by Thelma Elita Colanzi, Phil McMinn
Search-Based Software Engineering [[electronic resource] ] : 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / / edited by Thelma Elita Colanzi, Phil McMinn
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 393 p. 88 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Artificial intelligence
Operating systems (Computers)
Algorithms
Computer hardware
Software Engineering
Artificial Intelligence
Operating Systems
Algorithm Analysis and Problem Complexity
Computer Hardware
ISBN 3-319-99241-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Deploying Search Based Software Engineering with Sapienz at Facebook -- Evolving Living Technologies — Insights from the EvoEvo Project -- Ultra-Large Repair Search Space with Automatically Mined Templates: The Cardumen Mode of Astor -- How Can Metaheuristics Help Software Engineers? -- A Tutorial on Using and Extending the EvoSuite Search-Based Test Generator -- A Preliminary Systematic Mapping Study of Human Competitiveness of SBSE -- Search-Based Stress Testing the Elastic Resource Provisioning for Cloud-Based Applications -- Injecting Social Diversity in Multi-Objective Genetic Programming: The Case of Model Well-formedness Rule Learning -- Automated Optimization of Weighted Non-Functional Objectives in Self-Adaptive Systems -- Comparison of Search-Based Algorithms for Stress-Testing Integrated Circuits -- Damage Reduction Via White-box Failure Shaping -- Automated Co-Evolution of Metamodels and Transformation Rules: A Search-Based Approach -- Learning Without Peeking: Secure Multi-Party Computation Genetic Programming -- Towards Minimizing the Impact of Changes Using Search-Based Approach -- Exploring Evolutionary Search Strategies to Improve Applications’ Energy Efficiency -- Optimization Experiments in the Continuous Space The Limited Growth Optimistic Optimization Algorithm -- Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation -- Single-objective Versus Multi-Objectivized Optimization for Evolutionary Crash Reproduction -- A New Approach for Search Space Reduction and Seeding by Analysis of the Clauses -- Learning Fault Localization for Both Humans and Machines Using Multi-Objective GP -- Mapping Class Dependencies for Fun and Profit -- Evolving Better Software Parameters -- On the Placebo Effect in Interactive SBSE: A Preliminary Study -- EvoIsolator: Evolving Program Slices for Hardware Isolation Based Security -- Detecting Real Faults in the Gson Library Through Search-Based Unit Test Generation.
Record Nr. UNISA-996466355103316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Service-Oriented Computing [[electronic resource] ] : 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers / / edited by Marco Aiello, Johanna Barzen, Schahram Dustdar, Frank Leymann
Service-Oriented Computing [[electronic resource] ] : 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers / / edited by Marco Aiello, Johanna Barzen, Schahram Dustdar, Frank Leymann
Autore Aiello Marco
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (161 pages)
Disciplina 005.1
Altri autori (Persone) BarzenJohanna
DustdarSchahram
LeymannFrank
Collana Communications in Computer and Information Science
Soggetto topico Software engineering
Operating systems (Computers)
Computer programming
Artificial intelligence
Software Engineering
Operating Systems
Programming Techniques
Artificial Intelligence
ISBN 3-031-45728-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Systems -- Understanding Real-World AI Planning Domains: A Conceptual Framework -- Bridging the Gap: Empowering Machine Learning Development with Service- Oriented Computing Principles -- Using the Client Cache for Content Encoding: Shared Dictionary Compression for the Web -- Smart -- Privacy in Connected Vehicles: Perspectives of Drivers and Car Manufacturers -- Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration -- Pool games in Various Information Environments -- Mixed Technologies -- Operating with Quantum Integers: an Efficient ‘Multiples of’ Oracle -- Orchestrating information governance workloads as stateful services using Kubernetes Operator Framework -- Towards Serverless Data Exchange Within Federations.
Record Nr. UNINA-9910751383903321
Aiello Marco  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Service-Oriented Computing [[electronic resource] ] : 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers / / edited by Marco Aiello, Johanna Barzen, Schahram Dustdar, Frank Leymann
Service-Oriented Computing [[electronic resource] ] : 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers / / edited by Marco Aiello, Johanna Barzen, Schahram Dustdar, Frank Leymann
Autore Aiello Marco
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (161 pages)
Disciplina 005.1
Altri autori (Persone) BarzenJohanna
DustdarSchahram
LeymannFrank
Collana Communications in Computer and Information Science
Soggetto topico Software engineering
Operating systems (Computers)
Computer programming
Artificial intelligence
Software Engineering
Operating Systems
Programming Techniques
Artificial Intelligence
ISBN 3-031-45728-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Systems -- Understanding Real-World AI Planning Domains: A Conceptual Framework -- Bridging the Gap: Empowering Machine Learning Development with Service- Oriented Computing Principles -- Using the Client Cache for Content Encoding: Shared Dictionary Compression for the Web -- Smart -- Privacy in Connected Vehicles: Perspectives of Drivers and Car Manufacturers -- Services in Smart Manufacturing: Comparing Automated Reasoning Techniques for Composition and Orchestration -- Pool games in Various Information Environments -- Mixed Technologies -- Operating with Quantum Integers: an Efficient ‘Multiples of’ Oracle -- Orchestrating information governance workloads as stateful services using Kubernetes Operator Framework -- Towards Serverless Data Exchange Within Federations.
Record Nr. UNISA-996558569603316
Aiello Marco  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Soft-Ware 2002: Computing in an Imperfect World [[electronic resource] ] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / / edited by David Bustard, Weiru Liu
Soft-Ware 2002: Computing in an Imperfect World [[electronic resource] ] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / / edited by David Bustard, Weiru Liu
Edizione [1st ed. 2002.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
Descrizione fisica 1 online resource (XII, 364 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Operating systems (Computers)
Software engineering
Management information systems
Computer science
Computers
Artificial intelligence
Operating Systems
Software Engineering/Programming and Operating Systems
Software Engineering
Management of Computing and Information Systems
Computation by Abstract Devices
Artificial Intelligence
ISBN 3-540-46019-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Technical Session 1 -- Overview of Fuzzy-RED in Diff-Serv Networks -- An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation -- Facing Fault Management as It Is, Aiming for What You Would Like It to Be -- Enabling Multimedia QoS Control with Black-Box Modelling -- Technical Session 2 -- Using Markov Chains for Link Prediction in Adaptive Web Sites -- Classification of Customer Call Data in the Presence of Concept Drift and Noise -- A Learning System for Decision Support in Telecommunications -- Adaptive User Modelling in an Intelligent Telephone Assistant -- Technical Session 3 -- A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning -- Proof Length as an Uncertainty Factor in ILP -- Paraconsistency in Object-Oriented Databases -- Decision Support with Imprecise Data for Consumers -- Genetic Programming: A Parallel Approach -- Software Uncertainty -- Technical Session 4 -- Temporal Probabilistic Concepts from Heterogeneous Data Sequences -- Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy -- Sequential Diagnosis in the Independence Bayesian Framework -- Static Field Approach for Pattern Classification -- Inferring Knowledge from Frequent Patterns -- Anytime Possibilistic Propagation Algorithm -- Technical Session 5 -- Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences -- The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities -- Managing Evolving Requirements Using eXtreme Programming -- Text Summarization in Data Mining -- Invited Speakers -- Industrial Applications of Intelligent Systems at BTexact -- Intelligent Control of Wireless and Fixed Telecom Networks -- Assertions in Programming: From Scientific Theory to Engineering Practice -- Hybrid Soft Computing for Classification and Prediction Applications -- Why Users Cannot ‘Get What They Want’ -- Systems Design with the Reverend Bayes -- Formalism and Informality in Software Development -- Industrial Panel -- An Industrial Perspective on Soft Issues: Successes, Opportunities and Challenges.
Record Nr. UNINA-9910143910403321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui