edoc - Dokumenten- und Publikationsserver der Humboldt-Universität zu Berlin
      Logo der Humboldt-Universität
 
edocSucheAutorenhinweiseRechte/Info/Hilfe        
 
         
 

Schriftenreihen und Sammelbände » Einrichtungen » Institut für Informatik » Informatik-Berichte - » Beiträge

Beiträge
Autoren
Impressum
   
Informatik-Berichte

66 Einträge vorhanden
2010 – Nr. 236Oanea, Olivia; Sürmeli, Jan; Wolf, Karsten:
Service Discovery Using Communication Fingerprints
Metadaten
PDF
proprint-order
2010 – Nr. 235Zimmermann, Karin; Leser, Ulf:
Analysis of Affymetrix Exon Arrays
Metadaten
PDF
proprint-order
2010 – Nr. 234Castillo, Roger; Rothe, Christian; Leser, Ulf:
RDFMatView
Indexing RDF Data for SPARQL Queries
Metadaten
PDF
proprint-order
2009 – Nr. 230Hinze, Annika:
Seven Scenarios for Context-aware Systems
Metadaten
PDF
proprint-order
2009 – Nr. 229Salem, Mohammed A.; Ghamry, Nivin; Meffert, Beate:
Daubechies Versus Biorthogonal Wavelets for Moving Object Detection in Traffic Monitoring Systems
Metadaten
PDF
proprint-order
2009 – Nr. 228Kössler, Wolfgang:
Max-Type Rank Tests, U-Tests, and Adaptive Tests for the Two-Sample Location Problem - An Asymptotic Power Study
Metadaten
PDF
proprint-order
2009 – Nr. 227Sadilek, Daniel A.; Scheidgen, Markus; Wachsmuth, Guido; Weißleder, Stephan:
Towards Agile Language Engineering
Metadaten
PDF
proprint-order
2008 – Nr. 224Milic, Bratislav; Malek, Miroslaw:
NPART - Node Placement Algorithm for Realistic Topologies in Wireless Multihop Network Simulation
Metadaten
PDF
proprint-order
2008 – Nr. 223Fahland, Dirk:
Oclets
a formal approach to adaptive systems using scenario-based concepts
Metadaten
PDF
proprint-order
2008 – Nr. 222Stahl, Christian; Massuthe, Peter; Bretschneider, Jan:
Deciding Substitutability of Services with Operating Guidelines
Metadaten
PDF
proprint-order
2008 – Nr. 220Hochmuth, Mirko; Lüdeling, Anke; Leser, Ulf:
Simulating and reconstructing language change
Metadaten
PDF
proprint-order
2007 – Nr. 219Malek, Miroslaw; Hoffmann, Günther A.; Milanovic, Nikola; Brüning, Stefan; Meyer, Reinhard; Milic, Bratislav:
Methoden und Werkzeuge zur Verfügbarkeitsermittlung
Metadaten
PDF
proprint-order
2007 – Nr. 218Kluth, Ronald; Fischer, Joachim; Ahrens, Klaus:
Ereignisorientierte Computersimulation mit ODEMx
Metadaten
PDF
proprint-order
2007 – Nr. 217Sadilek, Daniel A.:
Prototyping and Simulating Domain-Specific Languages for Wireless Sensor Networks
Technical Report
Metadaten
PDF
proprint-order
2007 – Nr. 216Hohberg, Bodo; Reisig, Wolfgang; Wu, Bixia:
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Metadaten
PDF
proprint-order
2007 – Nr. 215Brüning, Stefan; Weißleder, Stephan; Malek, Miroslaw:
A Fault Taxonomy for Service-Oriented Architecture
Metadaten
PDF
proprint-order
2007 – Nr. 214Lohmann, Niels; Massuthe, Peter; Wolf, Karsten:
Behavioral Constraints for Services
Metadaten
PDF
proprint-order
2006 – Nr. 210Lohmann, Niels; Massuthe, Peter; Wolf, Karsten:
Operating Guidelines for Finite-State Services
Metadaten
PDF
proprint-order
2006 – Nr. 209Salfner, Felix; Malek, Miroslaw:
Reliability Modeling of Proactive Fault Handling
Metadaten
PDF
proprint-order
2006 – Nr. 208Salfner, Felix:
Modeling Event-driven Time Series with Generalized Hidden Semi-Markov Models
Metadaten
PDF
proprint-order
2006 – Nr. 207Trißl, Silke; Leser, Ulf:
GRIPP
Indexing and Querying Graphs based on Pre- and Postorder Numbering
Metadaten
PDF
proprint-order
2006 – Nr. 205Weis, Melanie; Naumann, Felix:
Relationship-Based Duplicate Detection
Metadaten
PDF
proprint-order
2006 – Nr. 204Zubow, Anatolij; Kurth, Mathias; Redlich, Jens-Peter:
Multi-Channel Opportunistic Routing in Multi-Hop Wireless Networks
Metadaten
PDF
proprint-order
2006 – Nr. 203Reisig, Wolfgang:
Abstract State Machines for the Classroom
the Basics
Metadaten
PDF
proprint-order
2006 – Nr. 202Massuthe, Peter; Wolf, Karsten:
An Algorithm for Matching Nondeterministic Services with Operating Guidelines
Metadaten
PDF
proprint-order
2006 – Nr. 201Kössler, Wolfgang; Kumar, Narinder:
An adaptive test for the two-sample location problem based on U-statistics
Metadaten
PDF
proprint-order
2006 – Nr. 200Kössler, Wolfgang:
Asymptotic Power and Efficiency of Lepage-Type Tests for the Treatment of Combined Location-Scale Alternatives
Metadaten
PDF
proprint-order
2006 – Nr. 199Müller, Heiko; Freytag, Johann Christoph; Leser, Ulf:
On the Distance of Databases
Metadaten
PDF
proprint-order
2006 – Nr. 198Weinberg, Daniela:
Reduction Rules for Interaction Graphs
Metadaten
PDF
proprint-order
2006 – Nr. 197Bleiholder, Jens; Naumann, Felix:
Conflict Handling Strategies in an Integrated Information System
Metadaten
PDF
proprint-order
2006 – Nr. 196Glausch, Andreas; Reisig, Wolfgang:
Distributed Abstract State Machines and Their Expressive Power
Metadaten
PDF
proprint-order
2005 – Nr. 195Faulstich, Lukas C.; Leser, Ulf:
Implementing Linguistic Query Languages Using LoToS
Metadaten
PDF
proprint-order
2005 – Nr. 194Schlingloff, Holger:
4th Workshop "Methods for Modalities" (M4M)
Proceedings
Metadaten
PDF
proprint-order
2006 – Nr. 193Massuthe, Peter; Schmidt, Karsten:
Matching Nondeterministic Services with Operating Guidelines
Metadaten
PDF
proprint-order
2005 – Nr. 192Schmidt, Karsten; Stahl, Christian:
12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005)
29. - 30. September 2005, Humboldt-Universität zu Berlin, Proceedings
Metadaten
PDF
proprint-order
2005 – Nr. 191Massuthe, Peter; Reisig, Wolfgang; Schmidt, Karsten:
An Operating Guideline Approach to the SOA
Metadaten
PDF
proprint-order
2005 – Nr. 190Fahland, Dirk:
Complete Abstract Operational Semantics for the Web Service Business Process Execution Language
Metadaten
PDF
proprint-order
2005 – Nr. 189Massuthe, Peter; Schmidt, Karsten:
Operating Guidelines - an Alternative to Public View
Metadaten
PDF
proprint-order
2005 – Nr. 188Stahl, Christian:
A Petri Net Semantics for BPEL
Metadaten
PDF
proprint-order
2005 – Nr. 187Leser, Ulf:
A Query Language for Biological Networks
Metadaten
PDF
proprint-order
2005 – Nr. 184Stahl, Christian; Reisig, Wolfgang; Krstić, Miloš:
Hazard Detection in a GALS Wrapper: a Case study
Metadaten
PDF
proprint-order
2005 – Nr. 182Schmidt, Karsten; Stahl, Christian:
Verteilte Geschäftsprozesse modellieren und analysieren
Metadaten
PDF
proprint-order
2005 – Nr. 176Faulstich, Lukas C.; Leser, Ulf; Lüdeling, Anke:
Storing and Querying Historical Texts in a Relational Database
Metadaten
PDF
proprint-order
2004 – Nr. 174Kroymann, Emil; Thiebes, Sebastian; Lüdeling, Anke; Leser, Ulf:
Eine vergleichende Analyse von historischen und diachronen digitalen Korpora
Metadaten
PDF
proprint-order
2004 – Nr. 172Hoffmann, Günther A.; Salfner, Felix; Malek, Miroslaw:
Advanced Failure Prediction in Complex Software Systems
Metadaten
PDF
proprint-order
2004 – Nr. 171Hoffmann, Günther A.; Malek, Miroslaw:
Meeting Deadlines in Complex Systems
A Probabilistic Approach
Metadaten
PDF
proprint-order
2004 – Nr. 169Martens, Axel; Stahl, Christian; Weinberg, Daniela; Fahland, Dirk; Heidinger, Thomas:
Business Process Execution Language for Web services
Semantik, Analyse und Visualisierung
Metadaten
PDF
proprint-order
2004 – Nr. 165Lacroix, Zoé; Naumann, Felix; Raschid, Louiqa; Murthy, Hyma:
Links and Paths through Life Sciences Data Sources
Metadaten
PDF
proprint-order
2000 – Nr. 138Naumann, Felix; Rolker, Claudia:
Assessment Methods for Information Quality Criteria
Metadaten
PDF
proprint-order
2000 – Nr. 135Freytag, Johann Christoph:
Completeness of Information Sources
Metadaten
PDF
proprint-order
1999 – Nr. 117Leser, Ulf; Freytag, Johann Christoph:
Quality-driven Integration of Heterogeneous Information Systems
Metadaten
PDF
proprint-order
1998 – Nr. 109Kindler, Ekkart; Weber, Michael:
The Dimensions of Petri Nets: The Petri Net Cube
Metadaten
PDF
proprint-order
1998 – Nr. 107Peuker, Sibylle:
Integrating Distributed Algorithms into Distributed Systems
Metadaten
PDF
proprint-order
1998 – Nr. 102Kindler, Ekkart:
Database Theory - Petri Net Theory - Workflow Theory
Metadaten
PDF
proprint-order
1998 – Nr. 100Vesper, Tobias; Weber, Michael:
Validierung eines Petrinetz-basierten Steuerungssystems
Metadaten
PDF
proprint-order
1998 – Nr. 99Baar, Thomas; Kindler, Ekkart:
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Metadaten
PDF
proprint-order
1998 – Nr. 98Hauptmann, Jens; Hohberg, Bodo; Kindler, Ekkart; Schwenzer, Ines; Weber, Michael:
Der Petrinetz-Kern Version 1.0
Dokumentation der Anwendungsschnittstelle
Metadaten
PDF
proprint-order
1997 – Nr. 89Kindler, Ekkart; Völzer, Hagen:
Flexibility in Algebraic Nets
Metadaten
PDF
proprint-order
1997 – Nr. 88Weber, Michael; Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Peuker, Sybille; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg:
DAWN
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Metadaten
PDF
proprint-order
1996 – Nr. 72Jaeger, Ulrike; Obermaier, Johann K.:
Parallel event detection in active database systems
the heart of the matter
Metadaten
PDF
proprint-order
1996 – Nr. 67Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg:
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum
Metadaten
PDF
proprint-order
1996 – Nr. 66Mueller, Frank:
Generalizing Timing Predictions to Set-Associative Caches
Metadaten
PDF
proprint-order
1996 – Nr. 63Kindler, Ekkart; Reisig, Wolfgang; Völzer, Hagen; Walter, Rolf:
Petri Net Based Verification of Distributed Algorithms
An Example
Metadaten
PDF
proprint-order
1995 – Nr. 54Spiliopoulou, Myra; Freytag, Johann Christoph:
Modelling the Dynamic Evolution of System Workload During Pipelined Query Execution
Metadaten
PDF
proprint-order
1995 – Nr. 43Fischer, Joachim; Dimitrov, Evgeni; Taubert, Udo:
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Metadaten
PDF
proprint-order
1995 – Nr. 42Ye, Jin:
SDL Specification and Simulation of TDM/CDMA VSAT Integrated Service Satellite Communication Network
Metadaten
PDF
proprint-order