Communications in Computer and Information Science - Software Technologies
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 10)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030529901, 9783030529918

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_9 ◽

2020 ◽

pp. 179-204

Author(s):

Tatsuya Harada ◽

Antonio Tejero-de-Pablos ◽

Stefano Quer ◽

Francesco Savarese

Keyword(s):

Service Robots ◽

Unified Framework

Download Full-text

GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction Networks

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_7 ◽

2020 ◽

pp. 133-155

Author(s):

Marwa Ben M’barek ◽

Amel Borgi ◽

Sana Ben Hmida ◽

Marta Rukoz

Keyword(s):

Genetic Algorithm ◽

Community Detection ◽

Protein Interaction ◽

Protein Interaction Networks ◽

Interaction Networks ◽

Protein Protein Interaction ◽

Protein Protein Interaction Networks

Download Full-text

Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_5 ◽

2020 ◽

pp. 81-107

Author(s):

Roman Wirtz ◽

Maritta Heisel ◽

Marvin Wagner

Keyword(s):

Distributed Systems ◽

Functional Requirements

Download Full-text

Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_10 ◽

2020 ◽

pp. 205-228

Author(s):

Ilyes Naidji ◽

Olfa Mosbahi ◽

Mohamed Khalgui ◽

Abdelmalik Bachir

Keyword(s):

Energy Management ◽

Theoretic Approach ◽

Two Stage ◽

Game Theoretic ◽

Stage Game ◽

Networked Microgrids ◽

Game Theoretic Approach

Download Full-text

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_6 ◽

2020 ◽

pp. 108-129

Author(s):

Yousra Hafidi ◽

Laid Kahloul ◽

Mohamed Khalgui

Keyword(s):

Reconfigurable Systems

Download Full-text

Quantitative Analysis of Mutant Equivalence

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_4 ◽

2020 ◽

pp. 58-80

Author(s):

Amani Ayad ◽

Imen Marsit ◽

Sara Tawfig ◽

Ji Meng Loh ◽

Mohamed Nazih Omri ◽

...

Keyword(s):

Quantitative Analysis

Download Full-text

From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_8 ◽

2020 ◽

pp. 156-178

Author(s):

Rabea Ameur-Boulifa ◽

Ana Cavalli ◽

Stephane Maag

Keyword(s):

Control Systems ◽

Formal Test

Download Full-text

Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_3 ◽

2020 ◽

pp. 40-57

Author(s):

Stefan Huber ◽

Lukas Demetz ◽

Michael Felderer

Keyword(s):

Cross Platform ◽

Platform Development

Download Full-text

What We Know About Software Architecture Styles in Continuous Delivery and DevOps?

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_2 ◽

2020 ◽

pp. 26-39

Author(s):

Maya Daneva ◽

Robin Bolscher

Keyword(s):

Software Architecture ◽

Continuous Delivery

Download Full-text

Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-52991-8_1 ◽

2020 ◽

pp. 3-25

Author(s):

Ulrike Witteck ◽

Denis Grießbach ◽

Paula Herber

Keyword(s):

Image Processing ◽

Equivalence Class ◽

Automated Testing ◽

Class Definition

Download Full-text

Communications in Computer and Information Science - Software TechnologiesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors

GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction Networks

Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems

Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids

Quantitative Analysis of Mutant Equivalence

From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems

Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios

What We Know About Software Architecture Styles in Continuous Delivery and DevOps?

Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing

Communications in Computer and Information Science - Software Technologies
Latest Publications