Informatik (15.757 Artikel)

Modelling Distributed Systems

Modelling Distributed Systems

This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transfo...

This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in L`Aquila, Utaly, in July 2015. The 13 pape...

This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations ...

This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in thi...

This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation ...

12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

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.

14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, pr...

On the basis of a semantic analysis of dimension terms, this book develops a theory about knowledge of spatial objects, which is significant for cognitive linguistics and artificial intelligence. T...

Motivating the Behavioral Approach.- Behavioral framework.- Full Interconnection Issues.- Partial Interconnection Issues.- Embedding Algorithms.- Numerical Implementation.- A new algorithm for embe...

Modelling and Controlling of Behaviour for Autonomous Mobile Robots

6th International Conference, MDIS 2019, Sibiu, Romania, October 3-5, 2019, Revised Selected Papers