Informatik (15.755 Artikel)

Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur Überprüfung prüftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ansätzen ist die...

(Verlag: Daniel Sommer)

Bachelorarbeit aus dem Jahr 2010 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1, Fachhochschule Wiener Neustadt, Sprache: Deutsch, Abstract: Wie der Vergleich von produzierenden Bereich...

Christian Brandes und Michael Heller diskutieren Missverständnisse zur Koexistenz von Agilität und Qualitätsmanagement in IT-Projekten. Diese sind nach ihrer Ansicht oft Ursache von Irritationen od...

Um die mit dienstorientierten Architekturen verknüpften Ziele wie bspw. eine höhere Flexibilität erreichen zu können, wird von Diensten die Einhaltung bestimmter Qualitätseigenschaften wie bspw. lo...

Theorie und Praxis

Was ist das Phänomen der Quantenverschränkung? Liest man populärwissenschaftliche Literatur, ist die Rede von Socken, die zugleich rot und blau, aber einfarbig sind - wie soll das gehen? Liest man ...

George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in au...

The performance of software components depends on several factors, including the execution platform on which the software components run. To simplify cross-platform performance prediction in reloca...

16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 sho...

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers prese...

This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were c...