@article{7391, author = {{Padberg, Julia and Jansen, Lars and Ehrig, Hartmut and Schnieder, E. and Heckel, Reiko}}, journal = {{Transactions of the Society for Design and Process Science}}, number = {{1}}, pages = {{3--21}}, title = {{{Cooperability in Train Control Systems: Specification of Scenarios using Open Nets}}}, volume = {{5}}, year = {{2001}}, } @article{7392, author = {{Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}}, journal = {{Applied Categorical Structures}}, number = {{1}}, pages = {{83--110}}, title = {{{Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}}}, volume = {{9}}, year = {{2001}}, } @article{7393, abstract = {{In this paper, we perform such an analysis and identify requirements for a general role concept. We develop such a role concept for a modeling approach based on the UML and graph transformation systems and exemplify its use for the specification (and application) of protocols. Finally, we provide a run-time semantics for roles based on concepts from the theory of graph transformation.}}, author = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}}, journal = {{International Journal of Software Engineering and Knowledge Engineering}}, number = {{3}}, pages = {{281--302}}, title = {{{Roles in Agent-Oriented Modeling}}}, doi = {{http://dx.doi.org/10.1142/S0218194001000529}}, volume = {{11}}, year = {{2001}}, } @article{7394, author = {{Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}}, journal = {{Theoretical Computer Science}}, number = {{1-2}}, pages = {{27--55}}, title = {{{A Coalgebraic presentation of structured transition systems}}}, doi = {{http://dx.doi.org/10.1016/S0304-3975(00)00121-3}}, volume = {{260}}, year = {{2001}}, } @article{7395, abstract = {{Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen, die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein einheitliches Verständnis des Modells ermöglicht.}}, author = {{Engels, Gregor and Gaulke, Jens and Sauer, Stefan}}, journal = {{Forschungsforum Paderborn}}, pages = {{24--29}}, title = {{{Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}}}, volume = {{4}}, year = {{2001}}, } @inproceedings{8355, author = {{Lohmann, Marc and Wagner, Annika}}, booktitle = {{Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)}}, title = {{{Using an XML-capable mailtool for the communication in software development projects}}}, year = {{2001}}, } @inproceedings{8356, author = {{Schattkowsky, Tim and Mehner, Katharina and Depke, Ralph}}, booktitle = {{Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)}}, title = {{{Using UML models for the Description of Concurrent Behavior in Component Interfaces}}}, year = {{2001}}, } @inproceedings{8357, author = {{Depke, Ralph and Heckel, Reiko and Küster, Jochen}}, booktitle = {{Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)}}, pages = {{105--120}}, publisher = {{Springer}}, title = {{{Agent-oriented Modeling with Graph Transformation}}}, doi = {{http://dx.doi.org/10.1007/3-540-44564-1_7}}, volume = {{1957}}, year = {{2001}}, } @inproceedings{8358, author = {{Depke, Ralph and Mehner, Katharina}}, booktitle = {{Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)}}, number = {{tr-ri-01-223}}, pages = {{1--7}}, publisher = {{Universität Paderborn}}, title = {{{"Separation of Concern" mit Rollen, Subjekten und Aspekten}}}, year = {{2001}}, } @inproceedings{8359, author = {{Engels, Gregor and Küster, Jochen}}, booktitle = {{Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)}}, title = {{{Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models}}}, year = {{2001}}, } @inproceedings{8360, abstract = {{Although UMS sequence diagrams are widely used in practical software development, there is still a great demand for improvements. Their use both within and outside the standard interpretation of the UML specification is not seldom confused because different interpretations for sequence diagrams exist without means to distinguish between them. Furthermore, alternative sequence diagram notations with more syntactical features and different semantics still have a big influence and are readily used (explicitly as well as implicitly) alongside UML's sequence diagrams.}}, author = {{Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}}, booktitle = {{Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)}}, pages = {{142--157}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Identifiying Semantic Dimensions of (UML) Sequence Diagrams}}}, volume = {{7}}, year = {{2001}}, } @inproceedings{8361, author = {{Heckel, Reiko and Küster, Jochen}}, booktitle = {{Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)}}, number = {{3}}, publisher = {{Elsevier}}, title = {{{Behavioral Constraints for Visual Models}}}, doi = {{dx.doi.org/10.1016/S1571-0661(04)00177-X}}, volume = {{50}}, year = {{2001}}, } @inproceedings{8362, author = {{Mehner, Katharina and Weymann, Bernd}}, booktitle = {{Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)}}, title = {{{Visualization and Debugging of Concurrent Java Programs with UML}}}, year = {{2001}}, } @inproceedings{873, author = {{Mengesha, Seble and Karl, Holger and Wolisz, Adam}}, booktitle = {{GI Jahrestagung (1)}}, pages = {{537----544}}, title = {{{Improving Goodput by Relaying in Transmission-Power-Limited Wireless Systems}}}, year = {{2001}}, } @inproceedings{995, author = {{Karl, Holger and Mengesha, Seble}}, booktitle = {{Proc. of IEEE Intl. Conf. on Wireless LANs and Home Networks}}, pages = {{339----348}}, title = {{{Analysing capacity improvements in wireless networks by relaying}}}, year = {{2001}}, } @inproceedings{996, author = {{Quynh, T and Karl, Holger and Wolisz, Adam and Rebensburg, Klaus}}, booktitle = {{Proc. 9th IFIP Conf. Perf. Modeling and Eval. of ATM & IP Networks}}, title = {{{Relative jitter packet scheduling for differentiated services}}}, year = {{2001}}, } @inproceedings{16492, abstract = {{We present a new output-sensitive rendering algorithm, the randomized z-buffer algorithm. It renders an image of an arbitrary three-dimensional scene consisting of triangular primitives by reconstruction from a dynamically chosen set of random surface sample points. This approach is independent of mesh connectivity and topology. The resulting rendering time grows only logarithmically with the numbers of triangles in the scene. We were able to render walkthroughs of scenes of up to 10^14 triangles at interactive frame rates. Automatic identification of low detail scene components ensures that the rendering speed of the randomized z-buffer cannot drop below that of conventional z-buffer rendering. Experimental and analytical evidence is given that the image quality is comparable to that of common approaches like z-buffer rendering. The precomputed data structures employed by the randomized z-buffer allow for interactive dynamic updates of the scene. Their memory requirements grow only linearly with the number of triangles and allow for a scene graph based instantiation scheme to further reduce memory consumption.}}, author = {{Wand, Michael and Fischer, Matthias and Peter, Ingmar and Meyer auf der Heide, Friedhelm and Straßer, Wolfgang}}, booktitle = {{Proceedings of the 28th annual conference on Computer graphics and interactive techniques - SIGGRAPH '01}}, isbn = {{158113374X}}, title = {{{The randomized z-buffer algorithm}}}, doi = {{10.1145/383259.383299}}, year = {{2001}}, } @inbook{16493, author = {{Meyer auf der Heide, Friedhelm}}, booktitle = {{Graph-Theoretic Concepts in Computer Science}}, isbn = {{9783540427070}}, issn = {{0302-9743}}, title = {{{Data Management in Networks}}}, doi = {{10.1007/3-540-45477-2_2}}, volume = {{2204}}, year = {{2001}}, } @inbook{16494, author = {{Meyer auf der Heide, Friedhelm and Wanka, Rolf}}, booktitle = {{Computational Science - ICCS 2001}}, isbn = {{9783540422334}}, issn = {{0302-9743}}, title = {{{Parallel Bridging Models and Their Impact on Algorithm Design}}}, doi = {{10.1007/3-540-45718-6_68}}, year = {{2001}}, } @book{16722, editor = {{Meyer auf der Heide, Friedhelm}}, isbn = {{9783540424932}}, issn = {{0302-9743}}, publisher = {{Springer }}, title = {{{Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark}}}, doi = {{10.1007/3-540-44676-1}}, year = {{2001}}, }