Communications in Computer and Information Science - New Trends in Model and Data Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030028510, 9783030028527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_1 ◽

2018 ◽

pp. 5-16

Author(s):

Sana Younes ◽

Maroua Idi

Keyword(s):

Steady State ◽

Admission Control ◽

Mobile Networks ◽

Call Admission Control ◽

Call Admission ◽

Cellular Mobile

Download Full-text

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_13 ◽

2018 ◽

pp. 146-152 ◽

Cited By ~ 3

Author(s):

Silvia Bonfanti ◽

Angelo Gargantini ◽

Atif Mashkoor

Keyword(s):

State Machine ◽

Abstract State Machine

Download Full-text

Component Design and Adaptation Based on Behavioral Contracts

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_19 ◽

2018 ◽

pp. 217-230

Author(s):

Samir Chouali ◽

Sebti Mouelhi ◽

Hassan Mountassir

Keyword(s):

Component Design ◽

Behavioral Contracts

Download Full-text

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_5 ◽

2018 ◽

pp. 50-62 ◽

Cited By ~ 2

Author(s):

Zakaryae Boudi ◽

Abderrahim Ait Wakrime ◽

Simon Collart-Dutilleul ◽

Mohamed Haloua

Keyword(s):

Petri Nets

Download Full-text

Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_17 ◽

2018 ◽

pp. 185-199

Author(s):

Syrine Aouadi ◽

Arnaud Lanoix

Download Full-text

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_11 ◽

2018 ◽

pp. 115-129

Author(s):

Manzoor Ahmad ◽

Christophe Gnaho ◽

Jean-Michel Bruel ◽

Régine Laleau

Keyword(s):

Requirements Engineering ◽

Cyber Physical Systems ◽

Physical Systems ◽

Engineering Approach

Download Full-text

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_14 ◽

2018 ◽

pp. 153-158 ◽

Cited By ~ 5

Author(s):

Guillaume Dupont ◽

Yamine Aït-Ameur ◽

Marc Pantel ◽

Neeraj K. Singh

Keyword(s):

Hybrid Systems ◽

Formal Approach ◽

Left Turn

Download Full-text

A Multi-agent System-Based Distributed Intrusion Detection System for a Cloud Computing

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_9 ◽

2018 ◽

pp. 98-107 ◽

Cited By ~ 1

Author(s):

Omar Achbarou ◽

My Ahmed El Kiram ◽

Outmane Bourkoukou ◽

Salim Elbouanani

Keyword(s):

Cloud Computing ◽

Intrusion Detection ◽

Intrusion Detection System ◽

Detection System ◽

Multi Agent System ◽

Agent System ◽

Distributed Intrusion Detection ◽

Multi Agent ◽

Distributed Intrusion Detection System

Download Full-text

Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_4 ◽

2018 ◽

pp. 40-49 ◽

Cited By ~ 1

Author(s):

Saoussen Cheikhrouhou ◽

Nesrine Chabouh ◽

Slim Kallel ◽

Zakaria Maamar

Keyword(s):

Resource Allocation ◽

Petri Nets ◽

Formal Specification ◽

Timed Petri Nets ◽

Cloud Resource ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Context-Based Sentiment Analysis: A Survey

Communications in Computer and Information Science - New Trends in Model and Data Engineering ◽

10.1007/978-3-030-02852-7_8 ◽

2018 ◽

pp. 91-97 ◽

Cited By ~ 1

Author(s):

Oumayma El Ansari ◽

Jihad Zahir ◽

Hajar Mousannif

Keyword(s):

Sentiment Analysis

Download Full-text

Communications in Computer and Information Science - New Trends in Model and Data EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Steady-State Performability Analysis of Call Admission Control in Cellular Mobile Networks

Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Component Design and Adaptation Based on Behavioral Contracts

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case

Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment

Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

A Multi-agent System-Based Distributed Intrusion Detection System for a Cloud Computing

Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets

Context-Based Sentiment Analysis: A Survey

Communications in Computer and Information Science - New Trends in Model and Data Engineering
Latest Publications