Auflistung Institut für Informatik nach Titel
Anzeige der Publikationen 13-32 von 66
-
2005-04-19BuchAssessment Methods for Information Quality Criteria
-
2006-04-12BuchAsymptotic Power and Efficiency of Lepage-Type Tests for the Treatment of Combined Location-Scale Alternatives For the two-sample location and scale problem Lepage (1971) constructed a test that is based on a combination of the Wilcoxon test statistic and the Ansari-Bradley test statistic. We replace both components by arbitrary ...
-
2007-01-01BuchBehavioral Constraints for Services Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered correctness criterion is deadlock freedom ...
-
2011-08-17BuchBusiness Process Execution Language for Web services
-
2005-09-12BuchComplete Abstract Operational Semantics for the Web Service Business Process Execution Language In this technical report we present an abstract operational semantics for the Business Process Execution Language for Web Services, or BPEL for short. In effect, the semantics defined herein are a variation and an extension ...
-
2005-04-19BuchCompleteness of Information Sources
-
2006-04-12BuchConflict Handling Strategies in an Integrated Information System Integrated information systems provide users and applications with a unified view of heterogeneous data sources. To provide a single consistent result for every object represented in these data sources, data fusion is ...
-
2011-08-17BuchDatabase Theory - Petri Net Theory - Workflow Theory
-
2009-01-01BuchDaubechies Versus Biorthogonal Wavelets for Moving Object Detection in Traffic Monitoring Systems Moving object detection is a fundamental task for a variety of traffic applications. In this paper the Daubechies and biorthogonal wavelet families are exploited for extracting the relevant movement information in moving ...
-
1997-12-01BuchDAWN
-
2008-01-01BuchDeciding Substitutability of Services with Operating Guidelines Deciding whether a service S can be substituted by another service S0 is an important problem in practice and one of the research challenges in service-oriented computing. In this paper, we define three substitutability ...
-
2011-08-17BuchDer Petrinetz-Kern Version 1.0
-
2006-01-30BuchDistributed Abstract State Machines and Their Expressive Power Gurevich’s sequential Abstract State Machines (ASMs) are taken as a basis for the construction of distributed ASMs as sets of sequential ASMs. A theorem on the expressive power of distributed ASM is proven in analogy to ...
-
2011-08-17BuchEine vergleichende Analyse von historischen und diachronen digitalen Korpora
-
1998-03-13BuchEinsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
-
2007-01-01BuchEntwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften ...
-
2007-11-01BuchEreignisorientierte Computersimulation mit ODEMx
-
2011-08-17BuchFlexibility in Algebraic Nets
-
2011-08-17BuchGeneralizing Timing Predictions to Set-Associative Caches
-
2006-01-01BuchGRIPP Many applications require querying graph-structured data. As graphs grow in size, indexing becomes essential to ensure sufficient query performance. We present the GRIPP index structure (GRaph Indexing based on Pre- and ...