Informatik (15 821 Artikel)

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 ...

This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a c...

14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings

13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, held in Singapore, in June 2013. The 22 revised full papers pre...