Informatik (15 755 Artikel)

Keynotes.- Modeling and Simulation Methodology - I.- Manufacturing.- Aerospace - I.- Military Simulation.- Medical Simulation - I.- General Applications - I.- Network - I.- e-Business.- Numerical S...

This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the ...

Systems programming is an indispensable part of Computer Science/Engineering education. After taking an introductory programming course, this book is meant to further knowledge by detailing how dyn...

Systems programming is an indispensable part of Computer Science/Engineering education. After taking an introductory programming course, this book is meant to further knowledge by detailing how dyn...

This book constitutes the refereed proceedings of the 4th International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2015, held in Stuttgart, Germany, in September 2015. Th...

This book constitutes the refereed proceedings of the Second International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2011, held in Zurich, Switzerland in August 2011.The...

This book constitutes the refereed proceedings of the Third International Workshop on Systems and Frameworks for Computational Morphology, SFCM 2013, held in Berlin, in September 2013. The 7 full p...

The next step for industrialisation

Concepts, Tools and Experiences

Concepts, Tools and Experiences

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a sy...

Systems and Virtualization Management: Standards and New Technologies.- Virtual Execution Environments and the Negotiation of Service Level Agreements in Grid Systems.- An Extension of XACML to Imp...

The Schur algorithm for generalized Schur functions I: coisometric realizations.- Hardy spaces on a finite bordered Riemann surface, multivariable operator model theory and Fourier analysis along a...

The Schur algorithm for generalized Schur functions I: coisometric realizations.- Hardy spaces on a finite bordered Riemann surface, multivariable operator model theory and Fourier analysis along a...

seeks to bridge the gap between the 'classical' and the newer technologies by constructing a systematic measurement framework for both. The authors use their experience as consultants in systems, s...