@inbook{3361,
author = {Gries, Thomas and Jungblut, Stefan},
booktitle = {Operations Research Proceedings 1997},
pages = {241--246},
publisher = {Springer},
title = {{The Dynamics of Growth and Employment in a Two-Sector Model of Job Matching}},
year = {1998},
}
@article{3621,
author = {Harteis, Christian and Prenzel, Manfred},
journal = {ZEITSCHRIFT FUR PADAGOGIK},
number = {4},
pages = {583----601},
title = {{Qualifications needed by educational staff working in the field of further education in the industrial sector-Results of a Delphi-study carried out in an industrial enterprise}},
volume = {44},
year = {1998},
}
@proceedings{7793,
abstract = {During the last 20 years several different formal and semi-formal specification techniques have been successfully developed and used. Applications comprise the specification of simple programs, data types and processes as well as complex hardware and software systems. The variety of specification techniques ranges from formal set theoretical, algebraic, and logic approaches for specifying sequential systems and from Petri-nets, process algebras, automata, and graph grammars for specifying concurrent and distributed behaviors to semi-formal software engineering methods for developing complex systems. Formal and semi-formal approaches have their advantages and disadvantages: the informal diagrammatic methods are easier to understand and to apply but they can be ambiguous. Due to the different nature of the employed diagrams and descriptions it is often difficult to get a comprehensive view of all functional and dynamic properties. On the other hand, the formal approaches are more difficult to learn and require mathematical training. But they provide mathematical rigor for analysis and prototyping of designs. Verification is possible only with formal techniques. Since a few years many researchers and research groups are putting more and more effort in closing this gap by integrating semi-formal and formal specification techniques. Their studies and experiences show the added value of combining semi-formal and formal techniques and at the same time open a whole range of new problems and questions which cannot be asked when studying formalisms in isolation. In this seminar more than 40 scientists came together in 28 talks and two panel discussions to study possibilities and solutions for integrating and validating different formal and semi-formal specification techniques. Similarities and differences of formal and semi-formal specification formalisms as well as possibilities for combining such techniques were discussed. Most talks of this seminar analysed, compared, or integrated at least two such methods. On behalf of all participants the organizers would like to thank the staff of Schloss Dagstuhl for providing an excellent environment to the conference. The support of the TMR programme of the European Community is gratefully acknowledged. Due to this programme it was possible to fund the participation of several young researchers and of three key note speakers.},
editor = {Engels, Gregor and Ehrig, Hartmut and Orejas, Fernando and Wirsing, M.},
publisher = {Schloss Dagstuhl, Leibniz Center for Informatics},
title = {{Semi-Formal and Formal Specification Techniques}},
volume = {218},
year = {1998},
}
@inproceedings{7844,
author = {Didrich, Klaus and Wagner, Annika},
booktitle = {Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)},
pages = {65--73},
publisher = {Society for Design and Process Science},
title = {{Integration of Single Pushout Transformation and Functional Programming}},
volume = {4},
year = {1998},
}
@inproceedings{8284,
author = {Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando and Padberg, Julia and Rozenberg, Grzegorz},
booktitle = {Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)},
pages = {85--102},
publisher = {Springer},
title = {{Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information}},
doi = {http://dx.doi.org/10.1007/b75045},
volume = {1764},
year = {1998},
}
@inproceedings{8289,
author = {Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando},
booktitle = {Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)},
title = {{Construction and Characterisation of Double-Pullback Graph Transitions}},
year = {1998},
}
@article{8467,
author = {Kremer, H.-Hugo and Wilbers, K.},
journal = {Kölner Zeitschrift für Wirtschaft und Pädagogik},
number = {25},
pages = {99--117},
title = {{Virtuelles Seminar "Wipäd Köln - München" - Konzeption und erste Erfahrungen}},
year = {1998},
}
@article{878,
author = {Karl, Holger and Werner, Matthias and Küttner, Lars},
journal = {IEEE Proceedings -- Software},
number = {6},
pages = {219----227},
title = {{Experimental investigation of message latencies in the Totem protocol in the Presence of faults}},
doi = {10.1049/ip-sen:19982443},
year = {1998},
}
@inproceedings{8905,
author = {Hemsel, Tobias and Krome, Jürgen and Littmann, Walter and Wallaschek, Jörg},
booktitle = {Proceedings 2. Polnisch-Deutscher Workshop "Werkzeuge der Mechatronik"},
title = {{Modellierung piezoelektrischer Stapel- und Vielschichtaktoren für dynamischen Betrieb}},
year = {1998},
}
@inbook{17497,
abstract = {Autoreferat: Zbl. Math. 914.00010.},
author = {Peckhaus, Volker},
booktitle = {Zwischen Kant und Hare. Eine Evaluation der Ethik Leonard Nelsons},
editor = {Krohn, Dieter and Neißer, Barbara and Walter, Nora},
pages = {37--61},
publisher = {dipa-Verlag},
title = {{Axiomatische Ethik}},
volume = {5},
year = {1998},
}
@misc{18212,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 876.00012]},
title = {{Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [9.4], 45–59}},
year = {1998},
}
@misc{18231,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.03007]},
title = {{Cellucci, Carlo, “Mathematical Logic: What has it Done for the Philosophy of Mathematics?”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 365–388}},
year = {1998},
}
@misc{18248,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 884.01017]},
title = {{Beller, Walter, “Logic in Mexico”, in: Santiago Ramirez (ed.), Mexican Studies in the History and Philosophy of Science, Kluwer: Dordrecht 1995 (= Boston Stud. Philos. Sci.; 172), 1–22}},
year = {1998},
}
@misc{18274,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01009]},
title = {{Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 43–49}},
year = {1998},
}
@misc{18293,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01012]},
title = {{Dyson, Freeman, “Addendum: ‘Thoughts on the Occasion of Georg Kreisel’s 70th Birthday’”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 75}},
year = {1998},
}
@misc{18306,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 897.01002]},
title = {{Gabriel, Gottfried/Kienzler, Wolfgang (eds.), Frege in Jena. Beiträge zur Spurensicherung. Tagungsbericht, Jena, Deutschland, 6.–7. Dezember 1996, Königshausen & Neumann: Würzburg 1997}},
year = {1998},
}
@misc{18301,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01011]},
title = {{Huber-Dyson, Verena, “Toughts on the Occasion of Georg Kreisel’s 70th Birth-day”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 51–73}},
year = {1998},
}
@misc{18298,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01007]},
title = {{Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 103–108}},
year = {1998},
}
@phdthesis{18445,
author = {Oesterdiekhoff, Brigitte},
title = {{On Periodic Comparator Networks}},
year = {1998},
}
@book{2185,
author = {Scheideler, Christian},
isbn = {978-3-540-69792-3},
title = {{Universal Routing Strategies for Interconnection Networks}},
doi = {10.1007/BFb0052928},
volume = {1390},
year = {1998},
}
@inproceedings{20743,
author = {Meschut, Gerson and Hahn, O. and Eis, M.},
booktitle = {Tagungsband zur Swissbondung 98},
location = {Rapperswil (CH)},
title = {{Vermeidung von Abzeichnungen an Stahlblechklebungen}},
year = {1998},
}
@article{10194,
author = {Brinkmann, Gunnar and Steffen, Eckhard},
journal = {European J. Combinatorics},
pages = {889 -- 900},
title = {{Chromatic-index-critical graphs of Orders 11 and 12}},
volume = {19},
year = {1998},
}
@article{13061,
author = {Hellebrand, Sybille and Wunderlich, Hans-Joachim and Hertwig, Andre},
journal = {{Journal of Electronic Testing Theory and Applications - JETTA}},
number = {1/2},
pages = {127--138},
title = {{Mixed-Mode BIST Using Embedded Processors}},
volume = {12},
year = {1998},
}
@misc{13092,
author = {N. Yarmolik, Vyacheslav and Hellebrand, Sybille and Wunderlich, Hans-Joachim},
keyword = {WORKSHOP},
title = {{Efficient Consistency Checking for Embedded Memories}},
year = {1998},
}
@inproceedings{15288,
author = {Hüllermeier, Eyke and Giersch, C.},
booktitle = {In Proceedings IPMU-98 7th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, La Sorbonne},
pages = {1857--1864},
publisher = {Editions E.D.K.},
title = {{Fuzzy sets and modelling of uncertainty in biological systems}},
year = {1998},
}
@inproceedings{15303,
author = {Hüllermeier, Eyke},
booktitle = {in Proceedings CESA-98, IMACS Multiconference on Computaional Engineering in Systems Applications, Symposium on Applied Mathematics and Optimization, Nabeul-Hammamet, Tunesia},
editor = {Borne, P. and Ksouri, M. and El Kamel, A.},
title = {{Numerical solutions for fuzzy initial value problems}},
year = {1998},
}
@inproceedings{15271,
author = {Koenig, M and Lenz, Christian and Domik, Gitta},
booktitle = {Proceedings. Computer Graphics International (Cat. No. 98EX149)},
pages = {402--403},
title = {{Visualization of meteorological data using an interactive flight}},
year = {1998},
}
@inproceedings{15810,
author = {Hüllermeier, Eyke},
booktitle = {in Proceedings of the 6th German Workshop on Case-Based Reasoning, Berlin, Germany},
editor = {Gierl, L. and Lenz, M.},
pages = {13--22},
title = {{Case-based probality and case-based decision making}},
year = {1998},
}
@inproceedings{2009,
abstract = {RSD (Resource and Service Description) is a scheme for specifying resources and services in complex heterogeneous computing systems and metacomputing environments. At the system administrator level, RSD is used to specify the available system components, such as the number of nodes, their interconnection topology, CPU speeds, and available software packages. At the user level, a GUI provides a comfortable, high-level interface for specifying system requests. A textual editor can be used for defining repetitive and recursive structures. This gives service providers the necessary flexibility for fine-grained specification of system topologies, interconnection networks, system and software dependent properties. All these representations are mapped onto a single, coherent internal object-oriented resource representation.
Dynamic aspects (like network performance, availability of compute nodes, and compute node loads) are traced at runtime and included in the resource description to allow for optimal process mapping and dynamic task load balancing at runtime at the metacomputer level. This is done in a self-organizing way, with human system operators becoming only involved when new hardware/software components are installed.},
author = {Brune, Matthias and Gehring, Jörn and Keller, Axel and Reinefeld, Alexander},
booktitle = {Proc. Int. Conf. on High-Performance Computing Systems (HPCS)},
title = {{RSD - Resource and Service Description}},
doi = {10.1007/978-1-4615-5611-4_18},
year = {1998},
}
@inproceedings{2011,
abstract = {CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administrator level, CCS offers tools for controlling (i.e, specifying, configuring and scheduling) the system components that are operated in a computing center. Hence the name "Computing Center Software". CCS provides: hardware-independent scheduling of interactive and batch jobs; partitioning of exclusive and non-exclusive resources; open, extensible interfaces to other resource management systems; a high degree of reliability (e.g. automatic restart of crashed daemons); fault tolerance in the case of network breakdowns. The authors describe CCS as one important component for the access, job distribution, and administration of networked HPC systems in a metacomputing environment.},
author = {Keller, Axel and Reinefeld, Alexander},
booktitle = {Proc. Heterogenous Computing Workshop (HCW) at IPPS},
pages = {44--56},
title = {{CCS Resource Management in Networked HPC Systems}},
doi = {10.1109/HCW.1998.666544},
year = {1998},
}
@inbook{4632,
author = {Feng, Yuanhua and Heiler, Siegfried},
booktitle = {Econometrics in Theory and Practice},
editor = {Galata, Robert and Küchenhoff, Helmut},
pages = {101--117},
publisher = {Physica-Verlag HD},
title = {{Locally Weighted Autoregression}},
year = {1998},
}
@proceedings{7794,
editor = {Engels, Gregor and Ehrig, Hartmut and Kreowski, Hans-Jörg and Rozenberg, Grzegorz},
publisher = {Springer},
title = {{6th International Workshop on Theory and Applications of Graph Transformations (TAGT '98), Paderborn, Selected Papers}},
volume = {1764},
year = {1998},
}
@inproceedings{8110,
author = {Salhi, M. and Triebel, C. and Lemoine, R. and Krauter, Stefan and Schroer, S. and Araújo:, R. G.},
booktitle = {Proceedings of the 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.},
title = {{Hybrid Thermal Insulating PV Facade Elements}},
year = {1998},
}
@inproceedings{8115,
author = {Krauter, Stefan and Schroer, S. and Araújo, R. G. and Stephan, R.},
booktitle = {Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375},
title = {{Thermisch aktive PV-Module zur Fassadenintegration}},
year = {1998},
}
@inproceedings{8280,
author = {Kolmschlag, Silvia and Engels, Gregor},
booktitle = {Proceedings of the workshop on "Integration heterogener Softwaresysteme" (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)},
pages = {13--24},
publisher = {GI},
title = {{Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken}},
year = {1998},
}
@inproceedings{8285,
abstract = {This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following observation: Modules and module interconnections consist of basic specifications (forming, e.g., a module's body, import, or export interface), and relations between such specifications, like the implementation relation between export and body of a module. Hence, a natural approach for characterizing a module concept is to answer the following three questions: 1. What are the basic specifications? 2. Which relations between specifications are used? 3. How are specifications and relations combined to modules and interconnections? In this paper, these questions are considered in some detail for the following module concepts for graph transformation systems.},
author = {Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele},
booktitle = {Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT '98), Paderborn (Germany)},
number = {tr-ri-98-201},
pages = {122--131},
publisher = {University of Paderborn},
title = {{Classification and Comparison of Modularity Concepts for Graph Transformation Systems}},
year = {1998},
}
@inproceedings{7845,
author = {Cherchago, Alexey},
booktitle = {Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)},
title = {{A generalized schema of a decision-making process of a SCENAR-therapeutist}},
year = {1998},
}
@inproceedings{879,
author = {Karl, Holger and Werner, Matthias and Kuttner, Lars},
booktitle = {24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden},
pages = {10468----10475},
title = {{An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults}},
doi = {10.1109/EURMIC.1998.711841},
year = {1998},
}
@inproceedings{8906,
author = {Hemsel, Tobias and Wallaschek, Jörg},
booktitle = {Proceedings of VIBROENGINEERING},
number = {1},
pages = {7--12},
title = {{A piezoelectric linear vibration drive for high driving forces}},
year = {1998},
}
@misc{18213,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 876.12002]},
title = {{Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 113–246}},
year = {1998},
}
@misc{18220,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.01042]},
title = {{Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997}},
year = {1998},
}
@misc{18232,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.03011]},
title = {{Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270}},
year = {1998},
}
@misc{18244,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 881.01013]},
title = {{Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 275–288}},
year = {1998},
}
@misc{18237,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.03004]},
title = {{Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [9.4], 69–76}},
year = {1998},
}
@misc{18251,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 884.03003]},
title = {{Buschlinger, Wolfgang, Wider das Verbot der semantischen Geschlossenheit der Sprache. Der Wert unliebsamer sprachlicher Strukturen für die Reduktion von Graphentheorie auf Logik, Peter Lang: Frankfurt a.M. 1997}},
year = {1998},
}
@misc{18275,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01010]},
title = {{Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 25–32}},
year = {1998},
}
@misc{18270,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03045]},
title = {{Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273}},
year = {1998},
}
@misc{18302,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 896.03005]},
title = {{Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273}},
year = {1998},
}
@misc{18299,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 895.01008]},
title = {{Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 97–102}},
year = {1998},
}
@misc{18294,
author = {Peckhaus, Volker},
booktitle = {Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01013]},
title = {{Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 77–78}},
year = {1998},
}