Auflistung Informatik-Berichte nach Titel
Anzeige der Publikationen 29-48 von 66
-
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 ...
-
2005-07-06BuchHazard Detection in a GALS Wrapper: a Case study An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether a hazard can occur in ...
-
2005-11-18BuchImplementing Linguistic Query Languages Using LoToS A linguistic database is a collection of texts where sentences and words are annotated with linguistic information, such as part of speech, morphology, and syntactic sentence structure. While early linguistic databases ...
-
2011-08-17BuchIntegrating Distributed Algorithms into Distributed Systems Distributed algorithms are often part of a larger distributed system. Usually the properties of the algorithm are proven for the algorithm in isolation. Then, it is not obvious how the algorithm behaves integrated into a ...
-
2005-04-19BuchLinks and Paths through Life Sciences Data Sources
-
2006-04-12BuchMatching Nondeterministic Services with Operating Guidelines Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, ...
-
2009-01-01BuchMax-Type Rank Tests, U-Tests, and Adaptive Tests for the Two-Sample Location Problem - An Asymptotic Power Study For the two-sample location problem we first consider two types of tests, linear rank tests with various scores, but also some tests based on U-statistics. For both types we construct adaptive tests as well as max-type ...
-
2011-08-17BuchMeeting Deadlines in Complex Systems
-
2007-01-01BuchMethoden und Werkzeuge zur Verfügbarkeitsermittlung
-
2006-11-21BuchModeling Event-driven Time Series with Generalized Hidden Semi-Markov Models This report introduces a new model for event-driven temporal sequence processing: Generalized Hidden Semi-Markov Models (GHSMMs). GHSMMs are an extension of hidden Markov models to continuous time that builds on turning ...
-
2005-07-06BuchModelling the Dynamic Evolution of System Workload During Pipelined Query Execution
-
2006-01-01BuchMulti-Channel Opportunistic Routing in Multi-Hop Wireless Networks We propose and investigate Multi-Channel Extremely Opportunistic Routing (MCExOR) which is a protocol that extends Extremely Opportunistic Routing by utilizing multiple RF channels in multi-hop wireless networks. Large ...
-
2008-01-01BuchNPART - Node Placement Algorithm for Realistic Topologies in Wireless Multihop Network Simulation Despite a considerable number of topology generation algorithms for simulation of wireless multihop networks it is difficult to find one with output similar to real networks [13]. In this paper, we propose NPART { a Node ...
-
2008-05-11BuchOclets Usually, a component in a distributed system has assumptions about the remaining components of the system. A change in one component might require to change other components as well. It may happen that the change has to ...
-
2006-04-12BuchOn the Distance of Databases We study the novel problem of efficiently computing the update distance for a pair of relational databases. In analogy to the edit distance of strings, we define the update distance of two databases as the minimal number ...
-
2005-04-19BuchOperating Guidelines - an Alternative to Public View
-
2006-01-01BuchOperating Guidelines for Finite-State Services We introduce the concept of an operating guideline for an arbitrary finite-state service P, extending the work of [1, 2] which was restricted to acyclic services. An operating guideline gives complete information about how ...