Informatik (15 201 Artikel)

Implementation of Functional Languages.- Lazy Assertions.- Interfacing Haskell with Object-Oriented Languages.- A Functional Shell That Dynamically Combines Compiled Code.- Polymorphic Type Reconst...

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

In 1982, Professor Pawlak published his seminal paper on what he called "rough sets" - a work which opened a new direction in the development of theories of incomplete information. Today, a decade ...

The construction of any broadly understood theory of information or infor mation processing system involves two major methodological processes: (1) abstraction and analysis, (2) reasoning and compu...

Inconsistency Tolerance