Informatik-Berichte: Neuzugänge
Anzeige der Publikationen 21-40 von 66
-
2008-01-01BuchSimulating and reconstructing language change In this work we probe phylogenetic algorithms for their ability to reconstruct historic language relationships. We present a formal model for the development of languages incorporating vertical (genealogical) and horizontal ...
-
2007-01-01BuchMethoden und Werkzeuge zur Verfügbarkeitsermittlung
-
2007-11-01BuchEreignisorientierte Computersimulation mit ODEMx
-
2007-09-21BuchPrototyping and Simulating Domain-Specific Languages for Wireless Sensor Networks The development of software for wireless sensor networks is involved and complex. This does not only impose much work on programmers but also prevents domain experts from directly contributing parts of the software. ...
-
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-01-01BuchA Fault Taxonomy for Service-Oriented Architecture Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This adaptivity and complexity, however, opens many ...
-
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 ...
-
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 ...
-
1997-12-01BuchDAWN
-
1996-08-01BuchPetrinetzmodelle zur Verifikation Verteilter Algorithmen
-
2006-01-01BuchReliability Modeling of Proactive Fault Handling Research on dependable computing is undergoing a shift from traditional fault tolerance towards techniques that handle faults proactively. These techniques comprise two parts: (a) prediction of failures and (b) actions ...
-
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 ...
-
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 ...
-
2006-01-01BuchRelationship-Based Duplicate Detection Recent work both in the relational and the XML world have shown that the efficacy and efficiency of duplicate detection is enhanced by regarding relationships between ancestors and descendants. We present a novel comparison ...
-
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 ...
-
2006-01-01BuchAbstract State Machines for the Classroom Abstract State Machines (ASM) have been introduced as “a computation model that is more powerful and more universal than standard computation models” by Yuri Gurevich in 1985. Here we provide a bunch of intuitive and ...
-
2006-01-01BuchAn Algorithm for Matching Nondeterministic Services with Operating Guidelines Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SOA describe three roles of services, the ...
-
2006-01-01BuchAn adaptive test for the two-sample location problem based on U-statistics For the two-sample location problem we consider a general class of tests, all members of it are based on U-statistics. The asymptotic efficicacies are investigated in detail. We construct an adaptive test where all statistics ...
-
2006-01-01BuchReduction Rules for Interaction Graphs The internet today has grown to be more than just being a basis for exchanging information. It steadily becomes a platform for processing business processes. Many companies distribute their service with the help of web ...
-
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 ...