@phdthesis{18967,
  author       = {{Räcke, Harald}},
  isbn         = {{3-935433-63-8}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Data Management and Routing in General Networks}}},
  volume       = {{154}},
  year         = {{2005}},
}

@inproceedings{23883,
  abstract     = {{A dynamic geometric data stream is a sequence of m Add/Remove operations of points from a discrete geometric space (1,...,Δ)d [21]. Add(p) inserts a point p from (1,...,Δ)d into the current point set, Remove(p) deletes p from P. We develop low-storage data structures to (i) maintain ε-approximations of range spaces of P with constant VC-dimension and (ii) maintain an ε-approximation of the weight of the Euclidean minimum spanning tree of P. Our data structures use O(log3ε • log3(1/ε) • log(1/ε)/ε2) and O(log (1/δ) • (log Δ/ε)O(d)) bits of memory, respectively (we assume that the dimension d is a constant), and they are correct with probability 1-δ. These results are based on a new data structure that maintains a set of elements chosen (almost) uniformly at random from P.}},
  author       = {{Frahling, Gereon and Indyk, Piotr and Sohler, Christian}},
  booktitle    = {{Proceedings of the twenty-first annual symposium on Computational geometry  - SCG '05}},
  title        = {{{Sampling in dynamic data streams and applications}}},
  doi          = {{10.1145/1064092.1064116}},
  year         = {{2005}},
}

@inproceedings{20926,
  abstract     = {{Reverse engineering based on dynamic analyses often uses method traces of the program under analysis. Recording all method traces during a program's execution produces too much data, though for most analyses, a 'slice' of all method traces is sufficient. In this paper, we present an approach to collect runtime information by selectively recording method calls during a program's execution. Only relevant classes and methods are monitored to reduce the amount of information. We developed the JavaTracer which we use for the recording of method calls in Java programs.
}},
  author       = {{Meyer, Matthias and Wendehals, Lothar}},
  booktitle    = {{Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA}},
  pages        = {{33--37}},
  title        = {{{Selective Tracing for Dynamic Analyses}}},
  volume       = {{2005-12}},
  year         = {{2005}},
}

@inproceedings{20929,
  abstract     = {{The paper presents a further step of the Fujaba Tool Suite RE to support coarse-grained analyses based on metrics and especially polymetric views. Polymetric views are graphical representations of certain metric combinations. Following an interactive reverse engineering approach, polymetric views can be created on demand. The reverse engineer is able to define new polymetric view descriptions and create new views afterwards.}},
  author       = {{Meyer, Matthias and Niere, Jörg}},
  booktitle    = {{Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}},
  pages        = {{41--44}},
  publisher    = {{University of Paderborn}},
  title        = {{{Calculation and Visualization of Software Product Metrics}}},
  volume       = {{tr-ri-05-259}},
  year         = {{2005}},
}

@inproceedings{20930,
  abstract     = {{Model driven development facilitates the specification of software models from which code can be generated automatically. In practice, a software system can often not be modelled completely. Developers still have to implement parts of it manually and thus have to work with the generated code. Therefore, the usability of the code is important. The Fujaba Tool Suite is a UML case tool which allows to model the structure and behaviour of a system with UML diagrams and to generate Java code for the specifications. However, the code currently generated for associations is not type safe. Furthermore, a lot of code is added to the implementation of the model classes which decreases their usability. In this paper, we present an approach to generate type safe association implementations in Java which also improves the readability and usability of the generated code.
}},
  author       = {{Travkin, Dietrich and Meyer, Matthias}},
  booktitle    = {{Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany}},
  pages        = {{63--66}},
  publisher    = {{University of Paderborn}},
  title        = {{{Generation of Type Safe Association Implementations}}},
  volume       = {{tr-ri-05-259}},
  year         = {{2005}},
}

@inbook{17988,
  author       = {{Köhler, Sven and Schindelhauer, Christian and Ziegler, Martin}},
  booktitle    = {{Fundamentals of Computation Theory}},
  isbn         = {{9783540281931}},
  issn         = {{0302-9743}},
  title        = {{{On Approximating Real-World Halting Problems}}},
  doi          = {{10.1007/11537311_40}},
  year         = {{2005}},
}

@inbook{17989,
  author       = {{Meer, Klaus and Ziegler, Martin}},
  booktitle    = {{Fundamentals of Computation Theory}},
  isbn         = {{9783540281931}},
  issn         = {{0302-9743}},
  title        = {{{An Explicit Solution to Post’s Problem over the Reals}}},
  doi          = {{10.1007/11537311_41}},
  year         = {{2005}},
}

@inproceedings{18280,
  abstract     = {{The sometimes so-called Main Theorem of Recursive Analysis implies that any computable real function is necessarily continuous. We consider three relaxations of this common notion of real computability for the purpose of treating also discontinuous functions f:R->R:<br>*) non-deterministic computation;<br>*) relativized computation, specifically given access to oracles like 0' or 0'';<br>*) encoding input x and/or output y=f(x) in weaker ways according to the Real Arithmetic Hierarchy.<br>It turns out that, among these approaches, only the first one provides the required power.}},
  author       = {{Ziegler, Martin}},
  booktitle    = {{Proc. CiE 2005: New Computational Paradigms}},
  isbn         = {{9783540261797}},
  issn         = {{0302-9743}},
  pages        = {{562--571}},
  publisher    = {{Springer}},
  title        = {{{Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism}}},
  doi          = {{10.1007/11494645_68}},
  volume       = {{3526}},
  year         = {{2005}},
}

@article{18282,
  author       = {{Ziegler, Martin}},
  issn         = {{0020-7748}},
  journal      = {{International Journal of Theoretical Physics}},
  number       = {{11}},
  pages        = {{2059--2071}},
  title        = {{{Computational Power of Infinite Quantum Parallelism}}},
  doi          = {{10.1007/s10773-005-8984-0}},
  volume       = {{44}},
  year         = {{2005}},
}

@inproceedings{18366,
  author       = {{Dangelmaier, Wilhelm and Mueck, Bengt and Fischer, Matthias and Mahajan, Kiran and  Laroque, Christoph}},
  booktitle    = {{Simulation in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005}},
  pages        = {{267--270}},
  title        = {{{Methods to lead the user to significant processes in a 3D material flow simulation}}},
  year         = {{2005}},
}

@inproceedings{1843,
  author       = {{Aguiar, A. and Wolisz, A. and Lederer, H. and Karl, Holger}},
  booktitle    = {{Proceedings of the 11th European Wireless Conference 2005}},
  title        = {{{Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors}}},
  year         = {{2005}},
}

@inproceedings{18449,
  author       = {{Loeser, Christoph and Drüke, Isabell and Oesterdiekhoff, Brigitte}},
  booktitle    = {{IEEE International Conference on Industrial Informatics (INDIN)}},
  title        = {{{ Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug and Play within an AV Scenario}}},
  year         = {{2005}},
}

@inproceedings{18450,
  author       = {{Oesterdiekhoff, Brigitte}},
  booktitle    = {{IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)}},
  title        = {{{Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices}}},
  year         = {{2005}},
}

@inproceedings{2212,
  author       = {{Scheideler, Christian}},
  booktitle    = {{IMA Workshop on Wireless Communications}},
  title        = {{{Overlay networks for wireless ad hoc networks}}},
  year         = {{2005}},
}

@inproceedings{21779,
  author       = {{Goetz, Frank and Junklewitz, Theodor and Domik, Gitta}},
  booktitle    = {{EG Short Presentations}},
  editor       = {{Dingliana, John and Ganovelli, Fabio}},
  pages        = {{5--8}},
  publisher    = {{The Eurographics Association}},
  title        = {{{Real-Time Marching Cubes on the Vertex Shader}}},
  doi          = {{10.2312/egs.20051010}},
  year         = {{2005}},
}

@proceedings{7781,
  editor       = {{Sauer, Stefan}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference}}},
  volume       = {{159}},
  year         = {{2005}},
}

@inproceedings{7934,
  author       = {{Störrle, Harald and Hendrik Hausmann, Jan}},
  booktitle    = {{Software Engineering}},
  pages        = {{117--128}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Towards a Formal Semantics of UML 2.0 Activities}}},
  volume       = {{64}},
  year         = {{2005}},
}

@inproceedings{7935,
  author       = {{Belli, Fevzi and Güldali, Baris}},
  booktitle    = {{Proceedings of the conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)}},
  pages        = {{321--331}},
  publisher    = {{Springer}},
  title        = {{{A holistic approach to test-driven model checking}}},
  year         = {{2005}},
}

@inproceedings{7936,
  abstract     = {{Spreadsheets are widely used in all kinds of business applications. Numerous studies have shown that they contain many errors that sometimes have dramatic impacts. One reason for this situation is the low-level, cell-oriented development process of spreadsheets. We improve this process by introducing and formalizing a higher-level object-oriented model termed ClassSheet. While still following the tabular look-and-feel of spreadsheets, ClassSheets allow the developer to express explicitly business object structures within a spreadsheet, which is achieved by integrating concepts from the UML (Unified Modeling Language). A stepwise automatic transformation process generates a spreadsheet application that is consistent with the ClassSheet model. Thus, by deploying the formal underpinning of ClassSheets, a large variety of errors can be prevented that occur in many existing spreadsheet applications today. The presented ClassSheet approach links spreadsheet applications to the object-oriented modeling world and advocates an automatic model-driven development process for spreadsheet applications of high quality.}},
  author       = {{Engels, Gregor and Erwig, Martin}},
  booktitle    = {{Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)}},
  pages        = {{124--133}},
  publisher    = {{ACM Press}},
  title        = {{{ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications}}},
  year         = {{2005}},
}

@inproceedings{7937,
  author       = {{Förster, Alexander and Engels, Gregor and Schattkowsky, Tim}},
  booktitle    = {{Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)}},
  pages        = {{2--16}},
  publisher    = {{Springer}},
  title        = {{{Activity Diagram Patterns for Modeling Quality Constraints in Business Processes}}},
  volume       = {{3713}},
  year         = {{2005}},
}