This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Informatics, and Systems Sciences,
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full pap
This book constitutes the proceedings of the 4th Enterprise Engineering Working Conference (EEWC), held in Funchal, Madeira Island, Portugal, during May 5-8, 2014. EEWC aims at addressing the challeng
These are the proceedings of the 18th international conference on domain decomposition methods in science and engineering, held?in Jerusalem, January 12-17, 2008. Domain decomposition methods are iter
This book constitutes the thoroughly refereed post-conference proceedings of the workshops held at the 11th International Conference on Web Engineering, ICWE 2011, in Paphos, Cyprus, in June 2011. The
This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 re
This book constitutes the refereed proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009, held in Denver, CO, USA, during October 4-9, 2009. T
This book presents the proceedings from the 5th NEWTECH conference (Belgrade, Serbia, 5–9 June 2017), the latest in a series of high-level conferences that bring together experts from academia and ind
The aims of these proceedings are to provide a complete coverage of the areas outlined, and to bring together researchers from academic and industry to share ideas, challenges, and solutions relating
Over the past decades, fault diagnosis (FDI) and fault tolerant control strategies (FTC) have been proposed based on different techniques for linear and nonlinear systems. Indeed a considerable attent
