Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community.
Ein gelungenes Beispiel für eine lebendige Zusammenarbeit mit unterschiedlichen Disziplinen wird mit der Restauration dieses wichtigen Kulturguts veranschaulicht: Das Heidelberger Exemplar eines Vaugondy Globus von 1751 hat eine wechselvolle Geschichte und wurde in jüngster Zeit mit hochmodernen Methoden aufwendig restauriert.
The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years.
Research into Fully Integrated Data Environments (FIDE) has the goal of substantially improving the quality of application systems while reducing the cost of building and maintaining them.
A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0.
Die Sicherheit einer IT-Komponente hängt meist direkt von einer oder mehreren anderen Komponenten ab, wobei diese Abhängigkeiten komplex und schwer erfassbar sind.
Die komplett überarbeitete und auf den neuesten Stand gebrachte Auflage bietet eine ansprechende und attraktive Methodensammlung für IT- und Softwareschulungen.
Mit seinem Workshop 2013 zum Thema "Funktionale Sicherheit" bietet der Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Formu an, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Sensornetze, Betriebssysteme und Middleware, Mehrkernprogrammierung, Mobile Systeme, Engineering, Modellbildung und Simulation.
Mit seinem Workshop 2012 zum Thema "Kommunikation unter Echtzeitbedingungen" bietet der Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Formu an, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Echtzeitprogrammierung mit PEARL, Entwicklung von Echtzeitsystemen, Echtzeitkommunikation, Entwicklung von Echtzeitkommunikationssystemen sowie einen Graduiertenwettbewerb.
Die Praxis zeigt, dass bei der Entwicklung großer, komplexer Softwaresysteme Sicherheitsaspekte oft gar nicht oder erst sehr spät berücksichtigt werden.
At a time when information systems are becoming ever more complex and quality to market and time to market are critical for many companies, a structured test process is essential.
This book provides a concise answer to how one should organize a robust enterprise IT infrastructure based on open-source software with mainstream hardware.
To our sons, Mike, Andrew, Alex, who did not inherit their fathers' level of interest in applied mechanics, but who became sophisticated in software development and in this regard surpassed their parents.
The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than algorithms, thus reflecting the shift in technology from number-crunching on mainframes to distributed intelligent networks with graphical user interfaces.
