Browse

ftp://ftp.ifi.unizh.ch (114)

	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.19.ps.gz, 19951207 Logical Frameworks as a Basis for Verification Tools: A Case Study Ina Kraan and Peter Baumann inak,baumann@ifi.unizh.ch Institut fur Informatik der Universitat Zurich Winterthurerstrasse 190, 8057 Zurich, Schweiz May 12, 1995
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.03.ps.gz, 19951207 Page 1 SEAMAN: Implementing Process-Centered Software Development Environments on Top of an Active Database Management System Dimitrios Tombros, Andreas Geppert, Klaus R. Dittrich {tombros,geppert,dittrich}@ifi.unizh.ch Technical Report 95.03 Institut f r Informatik, Universit t Z rich Winterthurerstr.
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.42.ps.gz, 19951207 Automatic Generation of Audio Data in an Audio Framework IFI TR 93.42 November 1993 Helmut Schauer, Alireza Darvishi Department of Computer Science, University of Zurich, Switzerland darvishi@ifi.unizh.ch Matthias Rauterberg Work and Organizational Psychology Unit, Swiss Federal Institute of Technology
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.32.ps.gz, 19951207 BugWorld: A distributed environment for the development of control architectures in multi-agent worlds Nikolaus Alm assy almassy@ifi.unizh.ch Technical Report No. 93.32 Department of Computer Science, University Zurich-Irchel Winterthurerstrasse 190, 8057 Zurich, Switzerland August 23, 1993 Revised:
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.29.ps.gz, 19951207 1 Architecture and Implementation of the Active Object-Oriented Database Management System SAMOS Andreas Geppert, Stella Gatziu, Klaus R. Dittrich, Hans Fritschi, Anca Vaduva Institut f r Informatik, Universit t Z rich Switzerland1 Technical Report 95.29
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.44.ps.gz, 19951207 Ein Glossar wichtiger Begriffe zu verteilten und parallelen Systemen Technical Report IFI-TR 93.44 Institut fur Informatik der Universitat Zurich Clemens H. Cap, Silvano Maffeis, Lutz Richter, Volker Strumpen f cap, maffeis, richter, strumpen g@ ifi.unizh.ch 30. November 1993 64 Bit Adress Bereich :
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.09.ps.gz, 19951207 The NO2 Data Model Andreas Geppert Klaus R. Dittrich Vera Goebel Stefan Scherrer Technical Report 93.09 April 1993 Institut f r Informatik Universit t Z rich Winterthurerstr. 190 CH - 8057 Z rich Switzerland Email: {geppert, dittrich, goebel, scherrer}@ifi.unizh.ch Page 2
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.13.ps.gz, 19951207 Enriched Languages Peter Baumann Institut fur Informatik der Universitat Zurich Winterthurerstr. 190, 8057 Zurich, Switzerland Email: baumann@ifi.unizh.ch, Tel: ++41 1 257 45 79, Fax: ++41 1 363 00 35 Keywords: formal approaches, natural semantics, program verification 1 Introduction Programmers are
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.14.ps.gz, 19951207 Institut f r Informatik der Universit t Z rich IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.10.ps.gz, 19951207 Institut f r Informatik der Universit t Z rich IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.15.ps.gz, 19951207 The diagnosis of the fuzzy-rules can be compared to the expected diagnosis (verification of degree of danger) and the diagnosis given by the KN (see Tab. 2). The first comparison corresponds to the correctness of the fuzzy-rules, while the latter indicates the explanation capability of fuzzy-rules
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.28.ps.gz, 19951207 Parallel Molecular Sequence Analysis on Workstations in the Internet Volker Strumpen* strumpen@ifi.unizh.ch Department of Computer Science, University of Zurich Winterthurerstr. 190, CH-8057 Zurich June 24, 1993
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.15.ps.gz, 19951207 1 Einsatz und Nutzen von objektorientierten Betriebssystemen f r die Implementierung von Datenbanksystemen*) Silvia Nittel Institut f r Informatik der Universit t Z rich Winterthurerstr. 190, CH- 8057 Z rich Email: nittel@ifi.unizh.ch Kurzfassung Ein Ziel von Datenbankverwaltungssystemen (DBMS) ist es,
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/dbpl91.ps.gz, 19951207 1 Accepted for DBPL-3 workshop, Nafplion, Greece, August 27-30, 1991 Integrating Active Concepts into an Object-Oriented Database System Stella Gatziu, Andreas Geppert, Klaus R. Dittrich Forschungsbereich Datenbanktechnologie Institut f r Informatik, Universit t Z rich, CH-8057 Z rich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/amodel.ps.gz, 19951207 Lipeck,U.W.,Vossen,G.: Formale Grundlagen f r den Entwurf von Informationssystemen, Tutzing, Mai '94 Erweiterung konzeptueller Objektmodelle f r den Entwurf aktiver Systeme Thomas Grotehen, Klaus R. Dittrich Universit t Z rich Institut f r Informatik CH-8057 Z rich Email: {grotehen,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-92/ifi-92.13.ps.gz, 19951207 File Access Patterns in Public FTP Archives and an Index for Locality of Reference Silvano Maffeis maffeis@ifi.unizh.ch Institut fur Informatik der Universitat Zurich (IFI) Winterthurerstr. 190, CH{8057 Zurich, Switzerland IFI TR 92.13y August 1992
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.31.ps.gz, 19951207 Reverse Engineering und Wartung* Zafer Ozturk TR 93.31 Swiss Life, General Guisan-Quai 40, 8022 Zurich, zafer@swssai.uu.ch Institut fur Informatik der Universitat Zurich, Winterthurerstr. 190, 8057 Zurich, oeztuerk@ifi.unizh.ch 1. Einleitung In vielen Betrieben sind heute Applikationen im
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.27.ps.gz, 19951207 June 1, 1993 Page 1 Derived Types and Subschemas: Towards Better Support for Logical Data Independence in Object-Oriented Data Models Andreas Geppert Stefan Scherrer Klaus R. Dittrich Technical Report 93.27 Institut f r Informatik, Universit t Z rich1
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/connection.ps.gz, 19951207 Proceedings of the 14th Annual Conference of the Cognitive Science Society, 1992, pp.653-658. Hillsdale, N.J.: Erlbaum. Taking connectionism seriously: the vague promise of subsymbolism and an alternative. Paul F.M.J.Verschure AI lab, Institute for Informatics, University of Z rich, Winterthurerstrasse
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.17.ps.gz, 19951207 Electra { Making Distributed Programs Object-Oriented Silvano Maffeis maffeis@ifi.unizh.ch University of Zurich Dept. of Computer Science Winterthurerstr. 190, CH{8057 Zurich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.17.ps.gz, 19951207 CLNLP 95, WORKSHOP ON COMPUTATIONAL LOGIC FOR NATURAL LANGUAGE PROCESSING, EDINBURGH, APRIL 3-5, 1995 Specifying Logic Programs in Controlled Natural Language Norbert E. Fuchs, Rolf Schwitter Department of Computer Science, University of Zurich {fuchs, schwitter}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.02.ps.gz, 19951207 Page 1 Strategies and Techniques: Reusable Artifacts for the Construction of Database Management Systems1 Andreas Geppert, Klaus R. Dittrich Computer Science Department University of Zurich Winterthurerstr. 190, CH-8057 Zurich, Switzerland Email: {geppert\|dittrich}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/ride-ads94.ps.gz, 19951207 1 Detecting Composite Events in Active Database Systems Using Petri Nets Stella Gatziu, Klaus R. Dittrich Database Technology Research Group Institut f r Informatik, Universit t Z rich Email: {gatziu, dittrich}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/de93.ps.gz, 19951207 SAMOS: an Active Object{Oriented Database System Stella Gatziu, Klaus R. Dittrich Database Technology Research Group Institut fur Informatik, Universitat Zurich fgatziu, dittrichg@ifi.unizh.ch to appear in IEEE Quartely Bulletin on Data Engineering, January 93 1 Introduction Most new developments in
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.45.ps.gz, 19951207 Page 1 Transaction Support for Design Processes Requirements, Concepts, and Realization Primitives Andreas Geppert Technical Report 93.45 Forschungsbereich Datenbanktechnologie Institut f r Informatik Universit t Z rich Email: geppert@ifi.unizh.ch June 10, 1992
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.37.ps.gz, 19951207 Using Standard ML in Software Maintenance: A Promising Approach (IFI TR 93.37) Peter Baumann, Jurg Fassler, Markus Kiser, Zafer Ozturk, Lutz Richter 1 Institut fur Informatik der Universitat Zurich, Winterthurerstr. 190, 8057 Zurich, Schweiz Email:
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/gts.ps.gz, 19951207 A Generic Multicast Transport Service to Support Disconnected Operation y Silvano Maffeis maffeis@acm.org Walter Bischofberger bischi@ubilab.ubs.ch Kai-Uwe Matzel maetzel@ubilab.ubs.ch Department of Computer Science, Cornell University, and UBILAB, Union Bank of Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/archive-org.ps.gz, 19951207 Error: the Final Copy PostScript preamble is not available on your printer. Make sure that Final Copy has been properly installed on your computer system. This print job has been aborted.
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.09.ps.gz, 19951207 The Wireable User Interface A graphical tool integration mechanism Markus Kiser Department of Computer Science University of Zurich Winterthurerstr. 190 CH-8057 Z rich kiser@ifi.unizh.ch August 94 1 1. Introduction In this paper, we introduce the tool integration mechanism, called the Wireable User
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-92/ifi-92.10.ps.gz, 19951207 Optimizing Self-Organizing Control Architectures with Genetic Algorithms: The interaction between natural selection and ontogenesis Nikolaus Alm assy and Paul Verschure Institute for Informatics - AI Laboratory, University Zurich-Irchel Winterthurerstrasse 190, CH - 8057 Zurich Technical Report Nr.
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/ICSQ94.ps.gz, 19951207 Contribution to the Fourth International Conference on Software Quality McLean Virginia, October 3-5, 1994 DRAFT July 7, 1994 DYNAMIC QUALITY MANAGEMENT: THE WAY TO MAINTAINABLE SOFTWARE SYSTEMS Johannes Geiger and Hubert F. Hofmann Department of Computer Science, University of Zurich Winterthurerstr.
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.19.ps.gz, 19951207 How to Measure a Camera's Response Curve from Scratch Martin Bichsel and Krystyna W. Ohnesorge University of Zurich Department of Computer Science Multi-Media Laboratory Winterthurerstr. 190 8057 Zurich-Irchel
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.30.ps.gz, 19951207 Remote Method Calling and Object-Group Communication Position Paper ECOOP'93 Workshop on Object-based Distributed Programming Silvano Maffeis maffeis@ifi.unizh.ch University of Zurich Dept. of Computer Science Winterthurerstr. 190, CH{8057 Zurich, Switzerland Tel: +41 1 257 4327 Fax: +41 1 363 0035 July
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.38.ps.gz, 19951207 Distributed Programming using Object-Groups Silvano Maffeis maffeis@ifi.unizh.ch University of Zurich Dept. of Computer Science Winterthurerstr. 190, CH{8057 Zurich, Switzerland Tel: +41 1 257 4327 Fax: +41 1 363 0035 IFI TR 93:38 September 1993
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.05.ps.gz, 19951207 Genetic Algorithms and the O(n ln n) Complexity on Selected Test Functions Ralf Salomon AI Lab, Computer Science Department, University of Zurich Winterthurerstrasse 190, 8057 Zurich, Switzerland FAX: +41-1-363 00 35; Email: salomon@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.05.ps.gz, 19951207 In M. Jamashidi, C.C. Nguyen, R. Lumia, and J. Yuh (Eds.), Intelligent Automation and Soft Computing: Trends in Research, Development and Applications, Albuquerque, NM, pp. 419 424. TSI Press. Evolution of adaptive behavior in dynamic environments Nikolaus Alm assy and Erik Vinkhuyzen AILab, Department
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.01.ps.gz, 19951207 Class Structure Graphs for Object-Oriented Design and Implementation Mathias Richter Department of Computer Science University of Zurich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.07.ps.gz, 19951207
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-92/ifi-92.23.ps.gz, 19951207 Electra { Making Distributed Programs Object-Oriented Silvano Maffeis maffeis@ifi.unizh.ch University of Zurich Dept. of Computer Science Winterthurerstr. 190, CH{8057 Zurich, Switzerland IFI TR 93:17y July 1993
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.28.ps.gz, 19951207 1 A Survey of Database Support for Process- Centered Software Development Environments Dimitrios Tombros, Andreas Geppert Institut f r Informatik, Universit t Z rich {tombros\|geppert}@ifi.unizh.ch Technical Report 95.28
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.07.ps.gz, 19951207 TECHNICAL REPORT 94.07, DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF ZURICH, MAY 1994 Software Development Based on Executable Specifications and Transformations Markus P. J. Fromherz, Xerox PARC, Palo Alto, USA Norbert E. Fuchs, Department of Computer Science, University of Zurich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.16.ps.gz, 19951207 1 The SAMOS Active DBMS Prototype Stella Gatziu, Andreas Geppert, Klaus R. Dittrich Institut f r Informatik, Universit t Z rich1 Technical Report 94.16
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.08.ps.gz, 19951207 1 Rule-Based Implementation of Transaction Model Specifications Andreas Geppert Klaus R. Dittrich Institut f r Informatik, Universit t Z rich Z rich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/electra_thesis.ps.gz, 19951207 Run-Time Support for Object-Oriented Distributed Programming Dissertation der Wirtschaftswissenschaftlichen Fakultat der Universitat Zurich zur Erlangung der Wurde eines Doktors der Wirtschaftswissenschaft vorgelegt von Silvano Maffeis von Mannedorf ZH genehmigt auf Antrag von Prof. Dr. Lutz H.
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/omg-93-11-9.ps.gz, 19951207 Relationship Service Response to the Request for Proposal 2 (OMG TC Document 93-6-1) Joint Submission to the Object Management Group Groupe Bull HyperDesk Ing. C. Olivetti & C. SpA Siemens Nixdorf Informationssysteme AG OMG TC Document 93.11.9 November 24, 1993 NOTICE Copyright 1993 Groupe Bull
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/time_adbs.ps.gz, 19951207 Time Issues in Active Database Systems Klaus R. Dittrich, Stella Gatziu Institut f r Informatik, Universit t Z rich Winterthurerstrasse 190, CH-8057 Z rich, Switzerland e-mail: {dittrich\|gatziu}@ifi.unizh.ch 1 accepted for Intl. Workshop on an Infrastructure for Temporal Databases, Arlington, Texas,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.12.ps.gz, 19951207 Analysis and Synthesis of Environmental Sounds Authors: Valentin Guggiana, Alireza Darvishi, Eugen Munteanu, Helmut Schauer Department of Computer Science (IfI), University of Z rich, Winterthurerstrasse 190, CH-8057 Z rich, Switzerland Masoud Motavalli Swiss Federal Laboratories for Material Testing
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.27.ps.gz, 19951207 Stand und Ausblick 44 Entwurf und Implementierung des funktionalen Parser-Generators CoP 5.0 Stand und Ausblick Wir haben in diesem Bericht motiviert, warum eine erweiterbare Wartungsumgebung wie AEMES ber ein syntaktisches Rahmenwerk verf gen muss. Es hat sich dabei herausgestellt, dass ein
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/Executable_Specifications.ps.gz, 19951207 Software Engineering Journal, September 1992 Specifications Are (Preferably) Executable Norbert E. Fuchs Department of Computer Science University of Zurich fuchs@ifi.unizh.ch The validation of software specifications with respect to explicit and implicit user requirements is extremely difficult. To
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/stolze.ps.gz, 19951207 FROM KNOWLEDGE ENGINEERING TO WORK- ORIENTED DEVELOPMENT OF KNOWLEDGE SYSTEMS INAUGURAL - DISSERTATION ZUR ERLANGUNG DER PHILOSOPHISCHEN DOKTORW RDE VORGELEGT DER PHILOSOPHISCHEN FAKULT T II DER UNIVERSIT T Z RICH VON MARKUS STOLZE VON DEUTSCHLAND BEGUTACHTET VON DEN HERREN PROF. DR. K. BAUKNECHT PROF.
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.01.ps.gz, 19951207 Massive Parallelism with Workstation Clusters { Challenge or Nonsense Technical Report IFI-TR 94.01 Clemens H. CAP Department of Computer Science University of Zurich Winterthurerstrasse 190 CH{8057 Zurich, Switzerland e-mail: cap@ifi.unizh.ch, Tel. +41{1{257 43 26 December 14, 1993
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.12.ps.gz, 19951207 Institut f r Informatik der Universit t Z rich IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.18.ps.gz, 19951207 Institut f r Informatik der Universit t Z rich IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.21.ps.gz, 19951207 On the expressive power of Z Peter Baumann and Karl Lermer Institut fur Informatik der Universitat Zurich Winterthurerstr. 190, 8057 Zurich, Switzerland Email: fbaumann,lermerg@ifi.unizh.ch, Tel: ++41 1 257 45 79, Fax: ++41 1 363 00 35
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.22.ps.gz, 19951207 Semantik-basiertes Program-Slicing fur Sprachen mit komplexen Kontrollstrukturen (IFI TR 95.22) Zafer Ozturk Swiss Life, General Guisan-Quai 40, 8022 Zurich, Schweiz Email: zafer@swssai.uu.ch Telefon: +41-1-711 3707. Fax: +41-1-711 5007. Institut fur Informatik der Universitat Zurich,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-92/ifi-92.07.ps.gz, 19951207 The Parform \| A High Performance Platform for Parallel Computing in a Distributed Workstation Environment Clemens H. Cap, Volker Strumpen fcap, strumpeng@ifi.unizh.ch Institut fur Informatik Universitat Zurich Winterthurerstrasse 190 CH-8057 Zurich, Switzerland June 23, 1992
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.13.ps.gz, 19951207 1 Rulebase Evolution in Active Object-Oriented Database Systems: Adapting the Past to Future Needs Andreas Geppert, Stella Gatziu, Klaus R. Dittrich Institut f r Informatik, Universit t Z rich1 Technical Report 95.13
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.36.ps.gz, 19951207 Using Functional Parsing to Achieve Quality in Software Maintenance (IFI TR 93.36) Peter Baumann Jurg Fassler Markus Kiser Zafer Ozturk Institut fur Informatik der Universitat Zurich, Winterthurerstr. 190, 8057 Zurich, Schweiz Email: fbaumann,faessler,kiser,oeztuerkg@ifi.unizh.ch Telephone:
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/manifesto.ps.gz, 19951207 Page 1 The Active Database Management System Manifesto: A Rulebase of ADBMS Features Edited by1 Klaus R. Dittrich, Stella Gatziu, Andreas Geppert Institut f r Informatik, Universit t Z rich Winterthurerstr. 190, CH-8057 Z rich, Switzerland {dittrich,gatziu,geppert}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.05.ps.gz, 19951207 Institut f r Informatik der Universit t Z rich Requirements Engineering A Survey of Methods and Tools Hubert F. Hofmann Nr. 93.05 M rz 93 Author's address: Mag. Hubert F. Hofmann Institute for Informatics University of Zurich Winterthurerstr. 190 CH-8057 Zurich hofmann@ifi.unizh.ch Table of Contents
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/perac.ps.gz, 19951207 From Perception to Action: The Right Direction 1 Rolf Pfeifer and Christian Scheier AILab, Institute for Informatics University of Zurich-Irchel Winterthurerstrasse 190, CH - 8057 Zurich, Switzerland E-mail: pfeifer@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.39.ps.gz, 19951207 Beauty and the Beast or A Formal Semantic Description of the Control Constructs of Cobol and its Implementation (IFI TR 93.39) Peter Baumann, Jurg Fassler, Markus Kiser, Zafer Ozturk Institut fur Informatik der Universitat Zurich, Winterthurerstr. 190, 8057 Zurich, Switzerland Email:
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.02.ps.gz, 19951207 A Flexible System Design to Support Object-Groups and Object-Oriented Distributed Programming Silvano Maffeis Department of Computer Science University of Zurich, Switzerland maffeis@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.14.ps.gz, 19951207 Page 1 Specification and Implementation of Consistency Constraints in Object-Oriented Database Systems: Applying Programming-by-Contract Andreas Geppert, Klaus R. Dittrich Institut fuer Informatik, Universitaet Zuerich, Switzerland {geppert \| dittrich}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.17.ps.gz, 19951207 TECHNICAL REPORT 94.17, DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF ZURICH, NOVEMBER 1994 Specifying Logic Programs in Controlled Natural Language Norbert E. Fuchs, Hubert F. Hofmann, Rolf Schwitter Department of Computer Science, University of Zurich
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.15.ps.gz, 19951207 1 Realization of Cooperative Agents Using an Active Object-Oriented Database Management System Andreas Geppert Markus Kradolfer Dimitrios Tombros Institut f r Informatik, Universit t Z rich Winterthurerstr. 190, CH-8057 Z rich, Switzerland Email: {geppert\|kradolf\|tombros}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/Schema_Transformations.ps.gz, 19951207 T. P. CLEMENT, K.-K. LAU (EDS.), LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, WORKSHOPS IN COMPUTING, SPRINGER VERLAG, 1992 (PROCEEDINGS LOPSTR '91) Schema-Based Transformations of Logic Programs Norbert E. Fuchs, Markus P. J. Fromherz Institut f r Informatik Universit t Z rich Switzerland {fuchs,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.43.ps.gz, 19951207 Gesch ftsmodelle Verst ndnis und Folgen der Technologieneutralit t Ifi-Bericht Nr. 93.43 November 1993 Brigitta Bailer Institut f r Informatik Universit t Z rich Winterthurerstr. 190 CH-8057 Z rich e-mail: bailer@ifi.unizh.ch Gesch ftsmodelle - Verst ndnis und Folgen der Technologieneutralit t Inhalt
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.03.ps.gz, 19951207 Design and Implementation of a Configurable Mixed-Media Filesystem Extended Abstract Silvano Maffeis Computer Science Department, University of Zurich, Switzerland maffeis@ifi.unizh.ch IFI TR 94:03 June 1993
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-94/ifi-94.08.ps.gz, 19951207 Semantics-based Reverse Engineering Peter Baumann, Jurg Fassler, Markus Kiser, Zafer Ozturk, Lutz Richter Institut fur Informatik der Universitat Zurich Winterthurerstr. 190 8057 Zurich Switzerland Email: fbaumann,faessler,kiser,oeztuerk,richterg@ifi.unizh.ch Jurg Fassler is supported by KWF
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/SSDBM94.pub.ps.gz, 19951207 published in: Proceedings of the Seventh International Working Conference on Scientific and Statistical Database Management (September 28-30, 1994, Charlottesville, Virginia)
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.29.ps.gz, 19951207 Technologische Grundlagen des Computer Supported Cooperative Work (CSCW) Silvano Maffeis maffeis@ifi.unizh.ch Institut fur Informatik der Universitat Zurich Winterthurerstr. 190, CH{8057 Zurich Tel: +41 1 257 4327 Fax: +41 1 363 0035 IFI TR 93:29 21. Juli 1993
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.18.ps.gz, 19951207 Situated Software Design Hubert F. Hofmann, Rolf Pfeifer, Erik Vinkhuyzen AI Lab, University of Zurich Winterthurerstr. 190, CH-8057 Zurich, Switzerland Email: {hofmann, pfeifer, vinkhuyz}@ifi.unizh.ch PLEASE NOTE THAT THIS ARTICLE HAS BEEN SUBMITTED FOR PUBLICATION TO THE FIFTH INTERNATIONAL CONFERENCE
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.03.ps.gz, 19951207 Cache Management Algorithms for Flexible Filesystems Silvano Maffeis maffeis@ifi.unizh.ch Computer Science Department University of Zurich Winterthurerstr. 190, CH-8057 Zurich, Switzerland IFI TR 93:03y
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.16.ps.gz, 19951207 Enhanced Schema-Based Transformations for Logic Programs and their Opportunistic Usage in Program Analysis and Optimisation* Wamberto W Vasconcelos**, Norbert E Fuchs Institut f r Informatik Universit t Z rich Switzerland {vascon,fuchs}@ifi.unizh.ch A program schema is a generic description of a program
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/trans_dev.ps.gz, 19951207 C. BECKSTEIN, U. GESKE (EDS.), WORKSHOP ON DEVELOPMENT, TEST AND MAINTENANCE OF DECLARATIVE AI PROGRAMS, GMD STUDIEN NR. 238, GESELLSCHAFT F R MATHEMATIK UND DATENVERARBEITUNG, 1994 Transformational Development of Logic Programs from Executable Specifications Schema-Based Visual and Textual Composition
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/Hoare_Logic.ps.gz, 19951207 STRUCTURED PROGRAMMING (1992) 13 Hoare Logic, Executable Specifications, and Logic Programs Norbert E. Fuchs Department of Computer Science University of Zurich fuchs@ifi.unizh.ch Starting from Hoare correctness formulae {P} S {Q} which define first-order predicates S by their pre- and postconditions P
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.25.ps.gz, 19951207 Page 1 EAV: An Algebra for the Representation and Realization of Internal, Conceptual Objects in Configurable Database Management Systems Andreas Geppert, Klaus R. Dittrich Technical Report 93.25 Institut f r Informatik, Universit t Z rich Winterthurerstr. 190 CH-8057 Z rich, Switzerland {geppert,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.11.ps.gz, 19951207 1 Events in an Active Object-Oriented Database System1 Stella Gatziu Klaus R. Dittrich Institut f r Informatik, Universit t Z rich Z rich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/beast-rids95.ps.gz, 19951207 1 A Designer s Benchmark for Active Database Management Systems: 007 Meets the BEAST Andreas Geppert, Stella Gatziu, Klaus R. Dittrich Institut f r Informatik, Universit t Z rich1
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-93/ifi-93.13.ps.gz, 19951207 Institut f r Informatik der Universit t Z rich IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-92/ifi-92.06.ps.gz, 19951207 Replication Heuristics and Polling Algorithms for Object Replication and a Replicating File Transfer Protocol Silvano Maffeis , Clemens H. Cap fmaffeis,capg@ifi.unizh.ch Institut fur Informatik der Universitat Zurich (IFI) Winterthurerstr. 190, CH{8057 Zurich, Switzerland IFI TR 92.06 July 30, 1992
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/btw93.ps.gz, 19951207 1 Eine Ereignissprache f r das aktive, objektorientierte Datenbanksystem SAMOS1 Stella Gatziu, Klaus R. Dittrich Forschungsbereich Datenbanktechnologie Institut f r Informatik, Universit t Z rich Email: {gatziu\|dittrich}@ifi.unizh.ch Kurzfassung Aktive Datenbanksysteme (aDBS) basieren auf
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.26.ps.gz, 19951213 1 Brokers and Services: Constructs for the Design and Implementation of Process-Oriented Environments Dimitrios Tombros Andreas Geppert Klaus R. Dittrich Technical Report 95.26 Institut f r Informatik, Universit t Z rich Winterthurerstr. 190, CH-8057 Z rich, Switzerland Email: {tombros \| geppert \|
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.30.ps.gz, 19960110 Syntax-basiertes Program-Slicing von COBOL-Programmen (IFI TR 95.30) Zafer Ozturk Institut fur Informatik der Universitat Zurich, Winterthurerstr. 190, 8057 Zurich, Schweiz Email: oeztuerk@ifi.unizh.ch Telefon: +41-1-257 4307. Fax: +41-1-363 0035. Stichworte: Program-Slicing, COBOL Inhalt: Der
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-90/ifi-90.11.ps.gz, 19960214 Distributed Systems with Data Replication A Non-Technical Survey Technical Report IFI-TR-90.11 Clemens H. CAP Dept. of Computer Science University of Zurich Winterthurerstr. 190 CH { 8057 ZURICH SWITZERLAND e-mail cap@ifi.unizh.ch voice +1{257 4326 fax +1{257 4004 telex unii ch 817 251 16. November 1990
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/lopstr95.ps.gz, 19960219 An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations Wamberto W. Vasconcelosy, Norbert E. Fuchs Institut fur Informatik Universitat Zurich Switzerland wamb@ifi.unizh.ch, fuchs@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/ILPS95_Schema.ps.gz, 19960219 Prolog Program Development via Enhanced Schema-Based Transformations Wamberto W. Vasconcelosy Norbert E. Fuchs Department of Artificial Intelligence Institut fur Informatik University of Edinburgh Universitat Zurich Scotland, U.K. Switzerland wamb@aisb.ed.ac.uk fuchs@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/CLAW96.ps.gz, 19960221 CLAW 96, The First International Workshop on Controlled Language Applications, Katholieke Universiteit Leuven, 26-27 March 1996 Attempto Controlled English (ACE) Norbert E. Fuchs, Rolf Schwitter Department of Computer Science, University of Zurich CH-8057 Zurich, Switzerland {fuchs,
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/ILPS95_Attempto.ps.gz, 19960221 SEVENTH ILPS 95 WORKSHOP ON LOGIC PROGRAMMING ENVIRONMENTS, PORTLAND, OREGON, DECEMBER 1995 Attempto Controlled Natural Language for Requirements Specifications Norbert E. Fuchs, Rolf Schwitter Department of Computer Science, University of Zurich CH-8057 Zurich, Switzerland {fuchs,
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/IEEE.ps.gz, 19960221 SUBMITTED TO IEEE COMPUTER, SPECIAL ISSUE ON INTERACTIVE NATURAL LANGUAGE PROCESSING , JULY 1996 Controlled English for Requirements Specifications Norbert E. Fuchs, Rolf Schwitter Department of Computer Science, University of Zurich CH-8057 Zurich, Switzerland {fuchs, schwitter}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-95/ifi-95.24.ps.gz, 19960226 INSTITUTSBERICHT 95.24, INSTITUT F R INFORMATIK, UNIVERSIT T Z RICH, 1995 Opportunistic Logic Program Analysis and Optimisation* Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation Wamberto W. Vasconcelos**, Norbert
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/EMISA96.ps.gz, 19960227 To be presented at EMISA Workshop 'Nat rlichsprachlicher Entwurf von Informationssystemen - Grundlagen, Methoden, Werkzeuge, Anwendungen', May 28-30, 1996, Ev. Akademie Tutzing Attempto From Specifications in Controlled Natural Language towards Executable Specifications Rolf Schwitter, Norbert E. Fuchs
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-96/ifi-96.01.ps.gz, 19960229 1 Performance Evaluation of Active Database Management Systems Using the BEAST Benchmark Andreas Geppert Mikael Berndtsson Daniel Lieuwen J rgen Zimmermann University of Zurich1 University of Sk vde Lucent Technologies/ University of Darmstadt Bell Labs Innovations Email: geppert@ifi.unizh.ch,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-96/ifi-96.02.ps.gz, 19960229 SAMOS an Active Object-Oriented Database System: Stella Gatziu, Hans Fritschi, Anca Vaduva Manual Nr. 96.02 February 96 Institut f r Informatik der Universit t Z rich IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI IFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFIIFI
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-96/ifi-96.06.ps.gz, 19960816 ptom { A pascal Translator For Mobile Code Christian F. Tschudin Technical Report 96.06, July 1996 Computer Science Department, University of Zurich, Winterthurerstr. 190, CH-8057 Zurich, Switzerland Email: tschudin@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-96/ifi-96.07.ps.gz, 19961114 1 Performance Evaluation of Object-Oriented Active Database Management Systems Using the BEAST Benchmark Andreas Geppert Mikael Berndtsson Daniel Lieuwen Claudia Roncancio University of Zurich1 University of Sk vde Lucent Technologies/ University of Grenoble Bell Labs Innovations Lab. LSR - IMAG Email:
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-96/ifi-96.08.ps.gz, 19961203 1 Semantics of Reactive Components in Event-Driven Workflow Execution Dimitrios Tombros, Andreas Geppert, Klaus R. Dittrich {tombros,geppert,dittrich}@ifi.unizh.ch Technical Report 96.08 Department of Computer Science, University of Zurich November 1996
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.01.ps.gz, 19970109 1 of 45 KIDS: Construction of Database Management Systems based on Reuse Andreas Geppert, Stefan Scherrer, Klaus R. Dittrich Technical Report 97.01 Institut f r Informatik, Universit t Z rich Switzerland January 9, 1997
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-96/ifi-96.05.ps.gz, 19970115 EvE, an Event Engine for Distributed Workflow Enactment Andreas Geppert, Markus Kradolfer, Dimitrios Tombros, Klaus R. Dittrich Department of Computer Science, University of Zurich Technical Report 96.05
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.04.ps.gz, 19970415 FRAMBOISE { an Approach to construct Active Database Mechanisms Hans Fritschi, Stella Gatziu, Klaus R. Dittrich Technical Report 97.04 Institut f ur Informatik, Universit at Z urich ffritschjgatziujdittrichg@ifi.unizh.ch April 15, 1997 Abstract Current active database management systems (ADBMS) are
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.03.ps.gz, 19970417 1 Investigating Termination in Active Database Systems with Expressive Rule Languages Anca Vaduva, Stella Gatziu, Klaus R. Dittrich Technical Report 97.03, April 97 Institut f r Informatik, Universit t Z rich {vaduva, gatziu, dittrich}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.05.ps.gz, 19970507 May 7, 1997 38 Definition 27 Deadline Definition (cont.) Associations: overwritten deadline definition: optional reference to an object of class Deadline Definition 5 References R. G. G. Cattell. Object Data Management: Object-Oriented and Extended Relational Database Systems. Addison-Wesley,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.07.ps.gz, 19970702 Sicherheit im Internet: Stand der Technik Harald Weidner weidner@ifi.unizh.ch Universit t Z rich Institut f r Informatik M rz 1997 2 Inhalt INHALT 2 EINLEITUNG 3 Das SINUS-Projekt 3 Ziel dieses Berichtes 4 Aufbau 4 1 KLASSIFIKATION VON SICHERHEITSPROBLEMEN 6 2 HILFSMITTEL AUS DER KRYPTOGRAPHIE 8 2.1
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.08.ps.gz, 19970714 July 1997 1 of 38 Bundling: A new Construction Paradigm for Persistent Systems Andreas Geppert, Klaus R. Dittrich Technical Report 97.08 Department of Computer Science, University of Zurich {geppert\|dittrich}@ifi.unizh.ch Ironically, databases are the last major preserve of monolithic closed design. (D.
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.11.ps.gz, 19970808 1 Unbundling Active Functionality Stella Gatziu1, Arne Koschel2, G nter von B ltzingsloewen3, Hans Fritschi1 1Department of Computer Science, University of Zurich {gatziu, fritsch}@ifi.unizh.ch 2Forschungszentrum Informatik (FZI), Karlsruhe {koschel@fzi.de} 3Swiss Bank Corporation,
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.09.ps.gz, 19970827 1 The MeTHOOD Approach: Measures, Transformation Rules, and Heuristics for Object-Oriented Design Thomas Grotehen, Klaus R. Dittrich University of Zurich Computer Science Department CH-8057 Zurich, Switzerland Email: {grotehen, dittrich}@ifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/sofsem97.ps.gz, 19970922 Object-Oriented DBMS and Beyond Klaus R. Dittrich and Andreas Geppert Department of Computer Science, University of Zurich fdittrich,geppertgifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.02.ps.gz, 19970930 Logging and Post-Mortem Analysis of Workflow Executions based on Event Histories Andreas Geppert and Dimitrios Tombros Department of Computer Science, University of Zurich fgeppert,tombrosgifi.unizh.ch
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.12.ps.gz, 19971002 1 Defining the Semantics of Reactive Components in Event-Driven Workflow Execution with Event Histories Andreas Geppert, Dimitrios Tombros, Klaus R. Dittrich Technical Report 97.12 September 1997 Department of Computer Science, University of Zurich Winterthurerstr. 190, CH-8057 Zurich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/other_docs/friend_inf_5.97.ps.gz, 19971117 17. M rz 1997 18:37 1/8 informatik.5.97.Korrektur5.doc FRIEND: Middleware zur Integration geographischer Daten Thomas Meyer, Dirk Jonscher, Klaus R. Dittrich1 Daten werden in vielen Bereichen erstellt, gesammelt und oft unabh ngig voneinander durch ver- schiedene Systeme verwaltet. Benutzer haben
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.10.ps.gz, 19971127 ON THE MIGRATION OF RELATIONAL SCHEMAS AND DATA TO OBJECT-ORIENTED DATABASE SYSTEMS1 Andreas Behm, Andreas Geppert, Klaus R. Dittrich2
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.06.ps.gz, 19971201 1 The BROKER/SERVICES MODEL for the Design of Cooperative Process-Oriented Environments Dimitrios Tombros, Andreas Geppert, Klaus R. Dittrich Technical Report 97.06 June 1997 (Revised November 1997) Department of Computer Science, University of Zurich Winterthurerstr. 190, CH-8057 Zurich, Switzerland
	ftp://ftp.ifi.unizh.ch/pub/techreports/TR-97/ifi-97.15.ps.gz, 19971210 December 10, 1997 8:59 am 1 of 14 Market-Based Workflow Management Andreas Geppert, Markus Kradolfer, Dimitrios Tombros Technical Report 97.15 November 1997 Department of Computer Science, University of Zurich {geppert\|kradolf\|tombros}@ifi.unizh.ch