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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|