Modelling Foundations and Applications

Modelling Foundations and Applications
Author: Anthony Anjorin
Publisher: Springer
Total Pages: 319
Release: 2017-07-03
Genre: Computers
ISBN: 3319614827

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios.

SDL 2017: Model-Driven Engineering for Future Internet

SDL 2017: Model-Driven Engineering for Future Internet
Author: Tibor Csöndes
Publisher: Springer
Total Pages: 184
Release: 2017-09-25
Genre: Computers
ISBN: 3319680153

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL models; model-driven engineering of database queries; network service design and regression testing; and modeling for Internet of Things (IoT) data processing.

Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments

Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments
Author: Hauck, Michael
Publisher: KIT Scientific Publishing
Total Pages: 346
Release: 2014-02-11
Genre: Computers
ISBN: 3731501384

The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant properties of the execution environment is presented. The properties are detected using predefined experiments and integrated into performance prediction tools. The approach is applied to experiments for detecting different CPU, OS, and virtualization properties, and validated in different case studies.

Advances in Computing and Data Sciences

Advances in Computing and Data Sciences
Author: Mayank Singh
Publisher: Springer Nature
Total Pages: 532
Release: 2020-07-17
Genre: Computers
ISBN: 9811566348

This book constitutes the post-conference proceedings of the 4th International Conference on Advances in Computing and Data Sciences, ICACDS 2020, held in Valletta, Malta, in April 2020.* The 46 full papers were carefully reviewed and selected from 354 submissions. The papers are centered around topics like advanced computing, data sciences, distributed systems organizing principles, development frameworks and environments, software verification and validation, computational complexity and cryptography, machine learning theory, database theory, probabilistic representations. * The conference was held virtually due to the COVID-19 pandemic.

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

Internet of Things, Smart Spaces, and Next Generation Networks and Systems
Author: Yevgeni Koucheryavy
Publisher: Springer Nature
Total Pages: 672
Release: 2023-04-19
Genre: Computers
ISBN: 3031302583

This book constitutes the joint refereed proceedings of the 22nd International Conference on Internet of Things, Smart Spaces, and Next Generation Networks and Systems, NEW2AN 2022, held in Tashkent, Uzbekistan, in December 2022. The 58 regular papers presented in this volume were carefully reviewed and selected from 282 submissions. The papers of NEW2AN address various aspects of next-generation data networks, while special attention is given to advanced wireless networking and applications. In particular, the authors have demonstrated novel and innovative approaches to performance and efficiency analysis of 5G and beyond systems, employed game-theoretical formulations, advanced queuing theory, and machine learning. It is also worth mentioning the rich coverage of the Internet of Things, optics, signal processing, as well as digital economy and business aspects.

Model-Driven Engineering Languages and Systems

Model-Driven Engineering Languages and Systems
Author: Juergen Dingel
Publisher: Springer
Total Pages: 712
Release: 2014-09-19
Genre: Computers
ISBN: 3319116533

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

Modelling Foundations and Applications

Modelling Foundations and Applications
Author: Alfonso Pierantonio
Publisher: Springer
Total Pages: 325
Release: 2018-06-18
Genre: Computers
ISBN: 3319929976

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software.

Conceptual Modeling

Conceptual Modeling
Author: Paul Johannesson
Publisher: Springer
Total Pages: 608
Release: 2015-10-09
Genre: Computers
ISBN: 331925264X

This book constitutes the refereed proceedings of the 34th International Conference on Conceptual Modeling, ER 2015, held in Stockholm, Sweden, in October 2015. The 26 full and 19 short papers presented were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on business process and goal models, ontology-based models and ontology patterns, constraints, normalization, interoperability and integration, collaborative modeling, variability and uncertainty modeling, modeling and visualization of user generated content, schema discovery and evolution, process and text mining, domain-based modeling, data models and semantics, and applications of conceptual modeling.

Dependability Metrics

Dependability Metrics
Author: Irene Eusgeld
Publisher: Springer Science & Business Media
Total Pages: 304
Release: 2008-05-30
Genre: Computers
ISBN: 354068946X

This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.