Informatik (15.755 Artikel)

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers ...

27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in Sept...

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in Au...

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, ...

The 13th International Conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21-24, 2008. This volume of Lecture Notes...

Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in Functional Programs with SLAM.- Verifying Generic Erlang Client--Server Implementations.- The Design ...

Auf Basis von fünf Fallstudien werden Erfolgsfaktoren für die Einführung von IT-Prozessen in öffentlichen Einrichtungen im Sinne eines IT Service-Managements identifiziert. Der Schwerpunkt liegt au...

Implementierungskonzepte für Datenbanksysteme

Preliminaries.- Concepts of the CORBA Standard.- to the Interface Definition Language.- IDL to Java Mapping.- Important Elements of the ORB Runtime.- A First Example.- Generating Remote Objects.- A...

Preliminaries.- Concepts of the CORBA Standard.- to the Interface Definition Language.- IDL to Java Mapping.- Important Elements of the ORB Runtime.- A First Example.- Generating Remote Objects.- A...

The Main 17 IT Processes and Directions for a Successful Implementation

When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This ...