Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Modelling Foundations and Applications
  • Language: en
  • Pages: 319

Modelling Foundations and Applications

  • Type: Book
  • -
  • Published: 2017-07-03
  • -
  • Publisher: Springer

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.

Trustworthy AI - Integrating Learning, Optimization and Reasoning
  • Language: en
  • Pages: 278

Trustworthy AI - Integrating Learning, Optimization and Reasoning

This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on the Foundation of Trustworthy AI - Integrating Learning, Optimization and Reasoning, TAILOR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 11 revised full papers presented together with 6 short papers and 6 position papers were reviewed and selected from 52 submissions. The contributions address various issues for Trustworthiness, Learning, reasoning, and optimization, Deciding and Learning How to Act, AutoAI, and Reasoning and Learning in Social Contexts.

Computer Safety, Reliability, and Security
  • Language: en
  • Pages: 537

Computer Safety, Reliability, and Security

  • Type: Book
  • -
  • Published: 2012-09-11
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012. The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).

Computer Safety, Reliability, and Security
  • Language: en
  • Pages: 408

Computer Safety, Reliability, and Security

  • Type: Book
  • -
  • Published: 2016-09-01
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.

Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber–Physical Systems
  • Language: en
  • Pages: 232

Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber–Physical Systems

  • Type: Book
  • -
  • Published: 2021-02-16
  • -
  • Publisher: MDPI

A key aspect of cyber-physical systems (CPS) is their potential for integrating information technologies with embedded control systems and physical systems to form new or improved functionalities. CPS thus draws upon advances in many areas. This positioning provides unprecedented opportunities for innovation, both within and across existing domains. However, at the same time, it is commonly understood that we are already stretching the limits of existing methodologies. In embarking towards CPS with such unprecedented capabilities, it becomes essential to improve our understanding of CPS complexity and how we can deal with it. Complexity has many facets, including complexity of the CPS itself...

Model Driven Engineering Languages and Systems
  • Language: en
  • Pages: 775

Model Driven Engineering Languages and Systems

  • Type: Book
  • -
  • Published: 2009-09-30
  • -
  • Publisher: Springer

The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat,in littleoveradecade, theirinitiativewouldblossomintotoday’shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld, attracting much young talent and leading to the gradualemergence of its correspondingscienti?c and engineering foundations. The proceedings from the MODELS conferences are one of the primary references for anyone interested in a more substantive study of the domain. The 12th conference took place in Denver in the USA, October 4–9, 2009 along with numerous satellite workshops and tutorials, as well as several other related scienti?c gatherings. The conference was exceptionally fortunate to have three eminent, invited keynote speakers from industry: Stephen Mellor, Larry Constantine, and Grady Booch.

Reliable Software Technologies - Ada-Europe 2009
  • Language: en
  • Pages: 295

Reliable Software Technologies - Ada-Europe 2009

  • Type: Book
  • -
  • Published: 2009-06-06
  • -
  • Publisher: Springer

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

Dependable Computing - EDCC 2021 Workshops
  • Language: en
  • Pages: 164

Dependable Computing - EDCC 2021 Workshops

This book constitutes refereed proceedings of the Workshops of the 17th European Dependable Computing Conference, EDCC: ​Second Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, Third Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021, 13th Workshop on Software Engineering for Resilient Systems, SERENE 2021, held in September 2021. Due to the COVID-19 pandemic the workshops were held virtually. The 14 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

Graph Layout Support for Model-Driven Engineering
  • Language: en
  • Pages: 314

Graph Layout Support for Model-Driven Engineering

Automatic layout is an important tool for the efficient use of graphical models in a model-driven engineering (MDE) context. Since the 1980s, research on graph layout methods has led to a multitude of different approaches, and several free software libraries for graph layout are available. However, today's practically relevant MDE tools hardly reflect this diversity. This thesis aims to support the use of automatic graph layout in such tools. A special focus is on the requirements of data flow models, where constraints on the positioning of ports and the routing of hyperedges pose additional challenges. These constraints are approached with extensions of the layer-based graph layout method. Furthermore, we discuss an infrastructure for managing collections of layout algorithms, allowing to flexibly specify layout configurations. These concepts are implemented in an open-source project based on Eclipse, an extensible platform that is well-known as a Java IDE and also hosts a large number of MDE tools. The presented contributions allow to integrate high-quality automatic layout into these tools with low effort.

Building Enterprise Systems with ODP
  • Language: en
  • Pages: 286

Building Enterprise Systems with ODP

  • Type: Book
  • -
  • Published: 2011-09-06
  • -
  • Publisher: CRC Press

The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a systematic way. It stresses the need to build these systems with evolution in mind by identifying the concerns of major stakeholders and then expressing the design as a series of linked viewpoints. Although RM-ODP has been a standard for more than ten years, many practitioners are still unaware of it. Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing offers a gentle pathway to the essential ideas that constitute ODP and shows how these ideas can be applied when desig...