 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-9.ps.Z, 19940712 technical report ECRC{92{9 Towards Probabilistic Knowledge Bases Beat Wuthrich EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, February 1993 Neither the |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-27.ps.Z, 19940712 E CR C ECRC-92 27i SIM: A C-based SIMulation Package Dean Adler, Beno^ t Dageville and Kam-Fai Wong European Computer-Industry Research Centre, March 1993 Neither the authors of this report nor the European Computer-Industry Research Centre GmbH, Munich, Germany, make any warranty, express or implied, |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-17.ps.Z, 19940712 Parallel CLP on Heterogeneous Networks Shyam Mudambi Joachim Schimpf ECRC-94-17 technical report ECRC-94-17 Parallel CLP on Heterogeneous Networks Shyam Mudambi Joachim Schimpf European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-10.ps.Z, 19940712 technical report ECRC{93{10 Polymorphic Sorts and Types for Concurrent Functional Programs Bent Thomsen EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, June |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-10.ps.Z, 19940712 1 Cut Elimination for LU with Mingle Sanjiva Prasad European Computer-Industry Research Centre ECRC GmbH Arabellastrasse 17, D{81925 Munich, Germany e-mail: sanjiva@ecrc.de Tel: (+49) (89) 92 699 158 Fax: (+49) (89) 92 699 170 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-22.ps.Z, 19940712 Foreword COMPULOG NET is the Network of Excellence in Computational Logic under the aegis of the ESPRIT program of the European Community. Its objective is to lay the foundations of integrated software environments for knowledge-rich applications by extending the logic programming paradigm. The main |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-13.ps.Z, 19940712 technical report ECRC{93{13 Aggregation in Constraint Databases Gabriel M. Kuper EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, February 1994 Neither the |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-5.ps.Z, 19940712 technical report ECRC{93{5 Constraint Logic Programming An Informal Introduction Thom Fruhwirth, Alexander Herold, Volker Kuchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-3.ps.Z, 19940712 technical report ECRC{91{3 An Introduction to GIUKU: Graphical Interactive Intelligent Utilities for Knowledgeable Users of Data Base Systems Michel Kuntz EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-dps82.ps.Z, 19940712 Technical Report DPS-82 August 14, 1990 A Shared Environment Parallel Logic Programming System on Distributed Memory Architectures Sergio A. Delgado-Rannauro, Michel Dorochevsky, Kees Schuerman, Andr e V eron, Jiyang Xu |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-11.ps.Z, 19940712 technical report ECRC{93{11 A Multi-Agent Diary Manager coordinated with LO Norbert Eisinger EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, July 1993 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-14.ps.Z, 19940712 Augmented Vision: A Technical Introduction to the Grasp 1.2 System Klaus H. Ahlers Chris Crampton Douglas Greer Eric Rose Mihran Tuceryan ECRC-94-14 Technical report ECRC-94-14 Augmented Vision: A Technical Introduction to the Grasp 1.2 System Klaus H. Ahlers Chris Crampton Douglas Greer Eric Rose |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-3.ps.Z, 19940712 technical report ECRC{1994{3 Translating Core Facile Roberto M. Amadio EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, February 1994 Neither the authors of |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-3.ps.Z, 19940712 technical report ECRC{92{3 Meta-Programming for Reordering Literals in Deductive Databases Jesper Larsson Traff, Steven David Prestwich EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-4.ps.Z, 19940712 technical report ECRC{92{4 Update Realizations Drawn from Knowledge Base Schemas and Executed by Dialog Beat Wuthrich EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-15.ps.Z, 19940712 technical report ECRC{93{15 A Requirement Analysis for Supporting Temporal Reasoning in Geographic Information Systems L. H. Hermosilla European Computer-Industry Research Centre GmbH Arabellastrasse 17 D-81925 Munich Germany E-mail: luis@ecrc.de EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-21.ps.Z, 19940712 technical report ECRC{92{21 Binding Techniques and Garbage Collection for OR-Parallel CLP Systems Michel Dorochevsky Andr e V eron EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-11.ps.Z, 19940712 1 The Positive Intuitionistic Fragment of LU Sanjiva Prasad European Computer-Industry Research Centre ECRC GmbH Arabellastrasse 17, D{81925 Munich, Germany e-mail: sanjiva@ecrc.de Tel: (+49) (89) 92 699 158 Fax: (+49) (89) 92 699 170 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-7.ps.Z, 19940712 technical report ECRC{91{7 Distributed Artificial Intelligence { An Overview Norbert Eisinger Nabiel Elshiewy Remo Pareschi EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-34.ps.Z, 19940712 technical report ECRC{92{34 A Preliminary Study of the Performance of MegaLog (Poster Presentation at BNCOD10) Jorge B. Bocca and Luis H. Hermosilla EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-12.ps.Z, 19940712 Description et Implantation de l'Interface Conceptuelle d'un Syst eme de Base de Donn ees D eductif et Orient e Objet Philippe Bonnet St ephane Bressan ECRC- 94-12 technical report ECRC- 94-12 Description et Implantation de l'Interface Conceptuelle d'un Syst eme de Base de Donn ees D eductif et Orient e |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-dps104.ps.Z, 19940712 Technical Report DPS-104 January 29, 1991 ElipSys: an Integrated Platform for Building Large Decision Support Systems S. A. Delgado-Rannauro M. Dorochevsky K. Schuerman Andr e V eron Jiyang Xu Distributed and Parallel Systems Group |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-12.ps.Z, 19940712 technical report ECRC{91{12 Communication as Fair Distribution of Knowledge Jean-Marc Andreoli Remo Pareschi EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-dps83.ps.Z, 19940712 Technical Report DPS-83 March 5, 1991 Virtual Memory Support for OR-Parallel Logic Programming Systems Andr e V eron, Jiyang Xu, S. A. Delgado-Rannauro, K. Schuerman Distributed and Parallel Systems Group |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-1.ps.Z, 19940712 technical report ECRC-94{1 The State of the Art in Federated Databases Norbert Eisinger Nabiel Elshiewy Willem Jonker European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 99-170 Tlx. 52 69 10 c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-4.ps.Z, 19940712 Other Reports Available from ECRC H.J. Ohlbach N. Eisinger. Deduction Systems Based on Resolution. 29. 10. 1991. M. Kuntz. The Gist of GIUKU: Graphical Interactive Intelligent Utilities for Knowledgeable Users of Data Base Systems. 4. 11. 1991. M. Kuntz. An |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-26.ps.Z, 19940712 technical report ECRC{92{26 Extending Objects with Rules, Composition and Concurrency: the LO Experience Marc Bourgois Jean-Marc Andreoli Remo Pareschi EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-5.ps.Z, 19940712 technical report ECRC{92{5 A New Direction in Functions as Processes (Submitted for publication) Lone Leth EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-23.ps.Z, 19940712 technical report ECRC{92{23 Interaction Abstract Machines Jean-Marc Andreoli Paolo Ciancarini Remo Pareschi EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-15.ps.Z, 19940712 Conjunto: Constraint Logic Programming with Finite Set Domains Carmen Gervet ECRC-94-15 technical report ECRC-94-15 Conjunto: Constraint Logic Programming with Finite Set Domains Carmen Gervet European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-4.ps.Z, 19940712 The Calumet Experiment - Part I: An Implementation of Group-Communication Protocols in Facile Jean-Pierre TALPIN ECRC-94-4 Technical report ECRC-94-4 The Calumet Experiment - Part I: An Implementation of Group-Communication Protocols in Facile Jean-Pierre TALPIN European Computer-Industry Research |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-7.ps.Z, 19940712 Programmer-Oriented Visualisation of Parallel Logic Program Execution Steven Prestwich Tony Kusalik ECRC-94-07 technical report ECRC-94-07 Programmer-Oriented Visualisation of Parallel Logic Program Execution Steven Prestwich Tony Kusalik European Computer-Industry Research Centre GmbH |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-13.ps.Z, 19940712 technical report ECRC{91{13 Dynamic Programming as Multiagent Programming Jean-Marc Andreoli Remo Pareschi Marc Bourgois EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-13.ps.Z, 19940712 technical report ECRC{94{13 Expressiveness of First-Order Constraint Languages Stavros S. Cosmadakis IBM T.J. Watson Research Center Gabriel M. Kuper ECRC EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-6.ps.Z, 19940712 technical report ECRC{92{6 The PADDY Partial Deduction System Steven Prestwich EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 ii c European Computer-Industry Research Centre, April 1993 Neither the |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-25.ps.Z, 19940712 technical report ECRC{92{25 True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication Jean-Marc Andreoli Lone Leth Remo Pareschi Bent Thomsen EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-28.ps.Z, 19940712 technical report ECRC{92{28 On the Efficient Distribution-free Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases Beat Wuthrich EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-2.ps.Z, 19940712 technical report ECRC{94{2 An Analysis of ss-calculus Bisimulations Roberto M. Amadio Otmane Ait-Mohamed EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-01.ps.Z, 19940712 technical report ECRC{93{1 Supporting Thousands of Threads Using a Hybrid Stack Sharing Scheme Benoit Dageville Kam-Fai Wong EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTRASSE 17, 8000 M UNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 European Computer-Industry |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-10.ps.Z, 19940712 technical report ECRC{91{10 TUBE Programmer's Manual Klaus H. Ahlers Michael Fendt Marc Herrmann Isabelle Hounieu Philippe Marchal EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-20.ps.Z, 19940712 technical report ECRC{93{20 Facile Antigua Release Programming Guide Bent Thomsen, Lone Leth, Sanjiva Prasad, Tsung-Min Kuo, Andre Kramer, Fritz Knabe, Alessandro Giacalone EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-3.ps.Z, 19940712 technical report ECRC{93{3 Learning Probabilistic Rules B. Wuthrich EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, January 1993 Neither the authors of |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-24.ps.Z, 19940712 technical report ECRC{92{24 Associative Communication and its Optimization via Abstract Interpretation Jean-Marc Andreoli Remo Pareschi EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-dps105.ps.Z, 19940712 Technical Report DPS-105 March 15, 1991 Types and Constraints in the Parallel Logic Programming System ElipSys Jiyang Xu and Andr e V eron Distributed and Parallel System Group |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-6.ps.Z, 19940712 tec nic l report A ersatile Bro ser{E itor for Relations c European Computer-Industry Research Centre, October 1991 Neither the authors of this report nor the European Computer-Industry Research Centre GmbH, Munich, Germany, make any warranty, express or implied, or assume any legal liability for the |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-dps85.ps.Z, 19940712 Technical Report DPS-85 March 15, 1991 Garbage Collection in the OR-Parallel Logic Programming System ElipSys Michel Dorochevsky Parallel and Distributed Systems Group |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-5.ps.Z, 19940712 tec nical report C C{ 1{ A raphical ynta acility for no le ge ase anguages c European Computer-Industry Research Centre, October 1991 Neither the authors of this report nor the European Computer-Industry Research Centre GmbH, Munich, Germany, make any warranty, express or implied, or assume any legal |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-18.ps.Z, 19940712 MAKBIS: Coordinated Access to Heterogeneous and Autonomous Information Systems Nabiel Elshiewy ECRC-93-18 technical report ECRC-93-18 MAKBIS: Coordinated Access to Heterogeneous and Autonomous Information Systems Nabiel Elshiewy European Computer-Industry Research Centre GmbH (Forschungszentrum) |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-19.ps.Z, 19940712 The ElipSys User Manual Version 0.7 The ElipSys Team elipsys@ecrc.de December 13, 1993 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-2.ps.Z, 19940712 Other Reports Available from ECRC H.J. Ohlbach N. Eisinger. Deduction Systems Based on Resolution. 29. 10. 1991. M. Kuntz. The Gist of GIUKU: Graphical Interactive Intelligent Utilities for Knowledgeable Users of Data Base Systems. 4. 11. 1991. M. Kuntz. An |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-LP-61.ps.Z, 19940712 ECRC/TR/91/LP-61 11 July 1991 Polymorphically Typed Logic Programs Eyal Yardeni, Thom Fruehwirth, Ehud Shapiro A short version of this paper was published at the 8th Intl Conf on Logic Programming, MIT Press, June 1990 The address of the first and third author is Department of Applied Mathematics and |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-8.ps.Z, 19940712 technical report ECRC{94{8 Ross T. Whitaker David T. Chen Embedded active surfaces for volume visualization European Computer-Industry Research Centre GmbH (Forschungszentrum) ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-8.ps.Z, 19940712 technical report ECRC{91{8 An Approach to Multi-Agent Problem-Solving Norbert Eisinger EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, February 1993 Neither |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-2.ps.Z, 19940712 technical report ECRC{93{2 ElipSys Programming Tutorial Steven Prestwich EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 ii c European Computer-Industry Research Centre, April 1993 Neither the authors |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-92-20.ps.Z, 19940712 technical report ECRC{92{20 Data and Knowledge for Medical Applications: A Case Study Petra Bayer EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European Computer-Industry Research Centre, November |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-91-9.ps.Z, 19940712 technical report ECRC{91{9 TUBE Implementor's Manual Klaus H. Ahlers Michael Fendt Marc Herrmann Isabelle Hounieu Philippe Marchal EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE ECRC GMBH, ARABELLASTR. 17 D-8000 MUNCHEN 81, GERMANY - TEL +49 89/926 99 - FAX 926 99 170 - TLX 521 6910 c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-93-17.ps.Z, 19940712 Mapping a Complex Object- Oriented Data Model to a Low-Level Object Manager ECRC-93-17 Andrea Sikeler I European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastra e 17 D-81925 Munich Germany Tel.+49 89-9 26 99-0 Fax.+49 89-9 26 99-170 Tlx.521 69 10 technical report ECRC-93-17 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-18.ps.Z, 19940712 Localities and Failures Roberto M. Amadio Sanjiva Prasad ECRC-94-18 Technical report ECRC-94-18 Localities and Failures Roberto M. Amadio Sanjiva Prasad European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-6.ps.Z, 19940720 Technical Report ECRC-94-06 February 16, 1994 Terminological Reasoning with Constraint Handling Rules Thom Fruhwirth, ECRC and Philipp Hanschke, DFKI thom@ecrc.de European Computer-Industry Research Centre GmbH Arabellastr. 17, D-81925 Munchen Germany |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-22.ps.Z, 19940720 Technical Report ECRC-94-22 July 10, 1994 Annotated Constraint Logic Programming Applied to Temporal Reasoning Thom Fruhwirth thom@ecrc.de European Computer-Industry Research Centre GmbH Arabellastr. 17, D-81925 Munchen Germany |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-26.ps.gz, 19940801 The Calumet Experiment in Facile - A Model for Group Communication and Interaction Control in Cooperative Applications Jean-Pierre Talpin ECRC-94-26 Technical report ECRC-94-26 The Calumet Experiment in Facile - A Model for Group Communication and Interaction Control in Cooperative Applications |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-30.ps.gz, 19940804 Calumet - A Reference Manual Jean-Pierre Talpin, Philippe Marchal and Klaus Ahlers ECRC-94-30 Technical report ECRC-94-30 Calumet - A Reference Manual Jean-Pierre Talpin, Philippe Marchal and Klaus Ahlers European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-32/ECRC-94-32-cover.ps.Z, 19940825 Towards a Formulae-as-Types View of Communicating Applicative Processes (Extended Summary) Sanjiva Prasad ECRC-94-32 Technical report ECRC-94-32 Towards a Formulae-as-Types View of Communicating Applicative Processes (Extended Summary) Sanjiva Prasad European Computer-Industry Research Centre GmbH |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-32/ECRC-94-32.ps.Z, 19940825 1 Towards a Formulae-as-Types View of Communicating Applicative Processes (Extended Summary) Sanjiva Prasad ECRC GmbH Arabellastrasse 17, D{81925 Munich, Germany e-mail: sanjiva@ecrc.de |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-39.ps.Z, 19950126 An Augmented Vision System for Industrial Applications Klaus Ahlers David Breen Chris Crampton Eric Rose Mihran Tuceryan Ross Whitaker Douglas Greer ECRC-94-39 Technical report ECRC-94-39 An Augmented Vision System for Industrial Applications Klaus Ahlers David Breen Chris Crampton Eric Rose Mihran |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-16.ps.Z, 19950131 technical report ECRC{94{16 Predicting the Drape of Woven Cloth Using Interacting Particles David E. Breeny Donald H. Housez Michael J. Woznyx yEuropean Computer-Industry Research Centre zVisualization Laboratory, Texas A&M University xManufacturing Engineering Laboratory, NIST Also published in: |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-19.ps.Z, 19950131 technical report ECRC{94{19 A Particle-Based Model for Simulating the Draping Behavior of Woven Cloth David E. Breeny Donald H. Housez Michael J. Woznyx yEuropean Computer-Industry Research Centre zVisualization Laboratory, Texas A&M University xManufacturing Engineering Laboratory, NIST Also published |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/introduction.ps.gz, 19950210 Preface This is the first volume (on Applications and Modelling) of the proceedings of the 1994 ILPS Post-Conference Workshop on Constraint Languages/Systems and Their Use in Problem Modelling held in Ithaca, New York, on November 18, 1994. The second volume (on General Topics) edited by Roland Yap is |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/mezhoud+dufourd.ps.gz, 19950210 Components Placement in VLSI Datapath based on Constraint Programming Aissam Mezhoud and Jean-Claude Dufourd Dffipartement Electronique, TELECOM Paris 46, rue Barrault, 75013 Paris, France email: mezhoud@elec.enst.fr |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/fattah+holzbaur.ps.gz, 19950210 Constraint Logic Programming for Modeling and Simulation of Dynamic Systems Yousri El Fattah and Christian Holzbaur Austrian Research Institute for Artificial Intelligence Schottengasse 3, A-1010 Wien, Austria fyousri,christiang@ai.univie.ac.at |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/hickey.ps.gz, 19950210 CLP(F) and Constrained ODEs Timothy J. Hickey (tim@cs.brandeis.edu) Michtom School of Computer Science Volen Center for Complex Systems Brandeis University, Waltham MA, 02254 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/boizumault+gueret+jussien.ps.gz, 19950210 Efficient Labelling and Constraint Relaxation for Solving Time Tabling Problems P. Boizumault1, C. Gu ret2, N. Jussien, email: boizu@info.emn.fr jussien@info.emn.fr 1. Introduction Constraint Logic Programming over Finite Domains, CLP(FD), has been in constant development for a few years. CLP(FD) allows |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/older.ps.gz, 19950210 Application of Relational Interval Arithmetic to Ordinary Differential Equations William J. Older Bell Northern Research, Computing Research Laboratory, PO Box 3511, Station C, K1Y 4H7 Ottawa, Ontario, Canada |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/skuppin.ps.gz, 19950210 Studies in CLP Applicability: The ROSAT Example Reinhard SKUPPIN, FAW-Ulm and Daimler-Benz AG/F3W1 (skuppin@dbag.ulm.DaimlerBenz.COM) |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/arnow+mcaloon+tretkoff.ps.gz, 19950210 1 Parallel Integer Goal Programming David Arnow1, Ken McAloon2 and Carol Tretkoff2 Dept. of Computer and Information Science Brooklyn College 2900 Bedford Avenue Brooklyn, NY 11210 arnow@sci.brooklyn.cuny.edu mcaloon@sci.brooklyn.cuny.edu tretkoff@sci.brooklyn.cuny.edu |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/perini+ricci.ps.gz, 19950210 22. F. Ricci, S. Mam, P. Marti, V. Normand, and P. Olmo. CHARADE: a platform for emergencies management systems. Technical Report 9404-07, IRST, 1994. 23. F. Ricci, A. Perini, and P. Avesani. Planning in a complex real domain. In proceedings of the italian planning workshop, pages 55{60, Rome, 1993. 24. |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/chemla+diaz+kerlirzin+manchon.ps.gz, 19950210 Using clp(FD) to Support Air Traffic Flow Management Denise Chemla1;3, Daniel Diaz2, Philippe Kerlirzin1, Serge Manchon1 1 CENA, Orly Sud 205, 94542 Orly A erogare Cedex, France 2 INRIA, Domaine de Voluceau, 78153 Le Chesnay, France 3 SYSECA, 315, bureaux de la Colline, 92213 Saint-Cloud, France |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/fromherz+carlson.ps.gz, 19950210 Optimal Incremental and Anytime Scheduling Markus P.J. Fromherz1 and Bjorn Carlson2 1 Xerox PARC, 3333 Coyote Hill Road, Palo Alto, CA 94304 fromherz@parc.xerox.com 2 CS Department, Uppsala University Box 311, S-751 05 Uppsala, Sweden bjornc@csd.uu.se |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-38/prestwich+mudambi.ps.gz, 19950210 Cost-Parallel Branch-and-Bound in Constraint Logic Programming Steven Prestwich and Shyam Mudambi ECRC GmbH, Arabellastr. 17, D-81925 Munchen, Germany |
 | ftp://ecrc.de/pub/magic/LOMAPS/LOMAPS-ECRC-1.ps.gz, 19950302 Syntactic Control of Type Polymorphism for Recursive Function Definitions Jean-Pierre Talpin and Yan-Mei Tang ECRC-94-29 Technical report ECRC-94-29 Syntactic Control of Type Polymorphism for Recursive Function Definitions Jean-Pierre Talpin and Yan-Mei Tang European Computer-Industry Research Centre |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-08.ps.Z, 19950314 Better Late Than Never Micha Meier ECRC-ECRC-95-08 technical report ECRC-ECRC-95-08 Better Late Than Never Micha Meier European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 99-170 Tlx. 52 69 10 I c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-13.ps.Z, 19950314 Recursion vs. Iteration in Prolog Micha Meier ECRC-ECRC-95-13 technical report ECRC-ECRC-95-13 Recursion vs. Iteration in Prolog Micha Meier European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 99-170 Tlx. 52 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-09.ps.Z, 19950314 Event Handling in Prolog Micha Meier ECRC-ECRC-95-09 technical report ECRC-ECRC-95-09 Event Handling in Prolog Micha Meier European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 99-170 Tlx. 52 69 10 I c |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-10.ps.Z, 19950314 Open Architecture for CLP Micha Meier Pascal Brisset ECRC-ECRC-95-10 technical report ECRC-ECRC-95-10 Open Architecture for CLP Micha Meier Pascal Brisset European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-28.ps.gz, 19950330 technical report ECRC-94-28 / BI-TR-94-28 The Micro-Store Approach: Generic Persistence Support for Distributed Systems Pierre-Yves Chevalier - ECRC Daniel Hagimont, Jacques Mossi ere and Xavier Rousset de Pina - Bull-IMAG/Syst emes Unit e Mixte de recherche Bull-IMAG/Syst emes 2 av. de Vignate F-38610 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-04.ps.Z, 19950411 Object Calibration for Augmented Reality Ross T. Whitaker Chris Crampton David E. Breen Mihran Tuceryan Eric Rose ECRC-95-04 Technical report ECRC-95-04 (To be published in Eurographics '95 Proceedings, Maastricht, NL, August 1995) Object Calibration for Augmented Reality Ross T. Whitaker Chris Crampton |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-25.ps.Z, 19950427 Appears in proceedings: technical report ECRC{94{25 Volumetric Deformable Models: Active Blobs European Computer-Industry Research Centre GmbH (Forschungszentrum) Ross T. Whitaker European Computer-Industry Research Centre Gmbh 81925 Munich, Germany ECRC GMBH, ARABELLASTR. 17, D-81925 MUNCHEN, GERMANY |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-42.ps.Z, 19950427 technical report ECRC{94{42 Algorithms for Implicit Deformable Models Ross T. Whitaker European Computer-Industry Research Centre GmbH 81925 Munich, Germany email: ross@ecrc.de To appear in The International Conference on Computer Vision 1995, Boston Mass. European Computer-Industry Research Centre GmbH |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-18.ps.Z, 19950518 From a Concurrent >=-calculus to the ss-calculus Roberto M. Amadio Lone Leth Bent Thomsen ECRC-95-18 external report ECRC-95-18 From a Concurrent >=-calculus to the ss-calculus Roberto M. Amadio Lone Leth Bent Thomsen European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-36.ps.Z, 19950613 Facile Chemistry Revised Lone Leth Bent Thomsen ECRC-94-36 external report ECRC-94-36 Facile Chemistry Revised Lone Leth Bent Thomsen European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 99-170 Tlx. 52 69 10 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-20.ps.Z, 19950620 High-Level Implementations of Constraint Handling Rules Thom Fr uhwirth ECRC, Arabellastrasse 17, D-81925 Munich, Germany thom@ecrc.de Pascal Brisset ENAC, 7, av. Edouard Belin 31055 Toulouse Cedex, France pbrisset@eis.enac.dgac.fr ECRC Technical Report ECRC-TR-95-20, June 1995 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-23.ps.Z, 19950704 Implementation of the ECLiPSe Rational Constraint Solver Pierre Lim ECRC- 94-23 technical report ECRC- 94-23 Implementation of the ECLiPSe Rational Constraint Solver Pierre Lim European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-31.ps.Z, 19950706 A Conservative Approach to Meta-Programming in Constraint Logic Programming Pierre Lim and Joachim Schimpf ECRC- 94-31 technical report ECRC- 94-31 A Conservative Approach to Meta-Programming in Constraint Logic Programming Pierre Lim and Joachim Schimpf European Computer-Industry Research Centre GmbH |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-94-41.ps.Z, 19950706 Annotating Real-World Objects Using Augmented Reality Eric Rose David Breen Klaus H. Ahlers Chris Crampton Mihran Tuceryan Ross Whitaker Douglas Greer ECRC-94-41 Technical report ECRC-94-41 (also published in CG International '95 Proceedings, Leeds, UK, June 1995, pp. 357-370) Annotating Real-World |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-22.ps.Z, 19950711 Towards the Definition of a Spatial Object-Oriented Data Model with Constraints Luis Hermosilla Gabriel Kuper ECRC-95-22 technical report ECRC-95-22 Towards the Definition of a Spatial Object-Oriented Data Model with Constraints Luis Hermosilla Gabriel Kuper European Computer-Industry Research Centre |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-25.ps.Z, 19950810 The PADDY User Guide Steven Prestwich ECRC-95-25 technical report ECRC-95-25 The PADDY User Guide Steven Prestwich European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 26 99-0 Fax. +49 89 9 26 99-170 Tlx. 52 69 10 I c European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-19.ps.Z, 19950810 Improved Branch and Bound in Constraint Logic Programming Steven Prestwich and Shyam Mudambi ECRC-95-19 technical report ECRC-95-19 Improved Branch and Bound in Constraint Logic Programming Steven Prestwich and Shyam Mudambi European Computer-Industry Research Centre GmbH (Forschungszentrum) |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-26.ps.Z, 19950822 Report on Implementing a Temporal Reasoning Tool in G odel Luis Hermosilla ECRC-95-26 technical report ECRC-95-26 Report on Implementing a Temporal Reasoning Tool in G odel Luis Hermosilla European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-17.ps.Z, 19950822 A Tutorial on Parallelism and Constraints in ECLiPSe Steven Prestwich ECRC-95-17 technical report ECRC-95-17 A Tutorial on Parallelism and Constraints in ECLiPSe Steven Prestwich European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. +49 89 9 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-21.ps.Z, 19950824 Mobile Agents Bent Thomsen Lone Leth Frederick Knabe Pierre-Yves Chevalier ECRC-95-21 external report ECRC-95-21 Mobile Agents Bent Thomsen Lone Leth Frederick Knabe Pierre-Yves Chevalier European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 D-81925 Munich Germany Tel. |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-27.ps.Z, 19950831 The Generalized ChronoBase Temporal Data Model Suryanarayana M. Sripada Petra M oller ECRC-95-27 technical report ECRC-95-27 The Generalized ChronoBase Temporal Data Model Suryanarayana M. Sripada Petra M oller European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastrasse 17 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-03.ps.Z, 19950912 Distributed Augmented Reality for Collaborative Design Applications Klaus H. Ahlers, Andr e Kramer, David E. Breen, Pierre-Yves Chevalier, Chris Crampton, Eric Rose, Mihran Tuceryan, Ross T. Whitaker, Douglas Greer ECRC-95-03 Technical report ECRC-95-03 (also published in Eurographics '95 Proceedings, |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-16.ps.gz, 19950912 A syntactic approach to inferring the life-time of data-regions Jean-Pierre Talpin and Yan-Mei Tang ECRC-95-16 Technical report ECRC-95-16 A syntactic approach to inferring the life-time of data-regions Jean-Pierre Talpin and Yan-Mei Tang European Computer-Industry Research Centre GmbH |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-02.ps.Z, 19950912 Interactive Occlusion and Collision of Real and Virtual Objects in Augmented Reality David E. Breen Eric Rose Ross T. Whitaker ECRC-95-02 Technical report ECRC-95-02 Interactive Occlusion and Collision of Real and Virtual Objects in Augmented Reality David E. Breen Eric Rose Ross T. Whitaker European |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-01.ps.Z, 19950914 Cost Minimization for Dynamic Geometric Models in Computer Graphics David E. Breen ECRC-95-01 Technical report ECRC-95-01 (submitted to The Journal of Visualization and Computer Animation) Cost Minimization for Dynamic Geometric Models in Computer Graphics David E. Breen European Computer-Industry |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-30.ps.Z, 19951013 Computing the Hessian of Object Shape from Shading Douglas S. Greer Mihran Tuceryan ECRC-95-30 Technical report ECRC-95-30 Computing the Hessian of Object Shape from Shading Douglas S. Greer Mihran Tuceryan European Computer-Industry Research Centre GmbH (Forschungszentrum) Arabellastra e 17 D-81925 |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-31.ps.gz, 19951026 DEA d'Ing enierie Informatique - INSA de Lyon Towards Distributed Information Management Systems for the Internet1 Philippe BONNET2 Responsables de stage: Andr e FLORY - INSA Lyon St ephane BRESSAN - ECRC 1Technical Report ECRC 95-31 2bonnet@ecrc.de Contents 1 Introduction 5 I 7 2 Communication in |
 | ftp://ecrc.de/pub/magic/LOMAPS/LOMAPS-ECRC-3.ps.gz, 19951123 A syntactic approach to inferring the life-time of data-regions Jean-Pierre Talpin and Yan-Mei Tang ECRC-95-16 Technical report ECRC-95-16 A syntactic approach to inferring the life-time of data-regions Jean-Pierre Talpin and Yan-Mei Tang European Computer-Industry Research Centre GmbH |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-34.ps.Z, 19951128 Advantages of Formal Specifications: A Case Study of Replication in Lotus Notes Marc Bourgois ECRC-95-34 technical report ECRC-95-34 Advantages of Formal Specifications: A Case Study of Replication in Lotus Notes Marc Bourgois European Computer-Industry Research Centre GmbH (Forschungszentrum) |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-32.ps.Z, 19951201 Planning Cordless Business Communication Systems Thom Fruhwirth European Computer-Industry Research Centery thom@ecrc.de http://www.ecrc.de/staff/thom/ Jorg-Rainer Molwitz DATUS Elektronische Informationssysteme GmbHz Pascal Brisset Ecole Nationale de l'Aviation Civilex pbrisset@eis.enac.dgac.fr |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-95-36.ps.gz, 19960111 Language Support for Mobile Agents Frederick Colville Knabe December 1995 CMU-CS-95-223 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee Jeannette Wing, Chair Peter Lee |
 | ftp://ecrc.de/pub/ECRC_tech_reports/reports/ECRC-96-4.ps.Z, 19960402 Understanding Mobile Agents via a non-interleaving semantics for Facile Roberta Borgia, Pierpaolo Degano and Corrado Priami Dipartimento di Informatica, Universit a di Pisa Corso Italia, 40, I-56125 Pisa, Italy Lone Leth and Bent Thomsen European Computer-Industry Research Centre Arabellastr. 17, |