@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},
}