vardi@IBM.COM ("Moshe Y. Vardi") (08/15/90)
THE 5th JERUSALEM CONFERENCE ON INFORMATION TECHNOLOGY (JCIT-5)
Binyanei Ha'ooma, Jerusalem, Israel
October 22 - 25, 1990
PRELIMINARY PROGRAM
The program will be comprised of 3 tracks:
Track I = Computer Architecture and Software
Track II = Artificial Intelligence, Theory and Databases
Track III = Applications of Information Technology
TUESDAY, OCTOBER 23, 1990
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
09.30 - 11.00 OPENING CEREMONY
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Greetings
Address by:
Mr. Chaim Herzog - President of the State of Israel
Keynote Lecture
John L. Seigal - Vice Chairman, Contel
11.00 - 11.30 Coffee Break
11.30 - 13.00 PARALLEL SESSIONS
I-1 VERY LARGE MEMORIES
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Jeffrey M. Jaffe - IBM T.J. Watson Research Center, USA
CHOOSING THE BEST STORAGE TECHNIQUE FOR A MAIN MEMORY DATABASE SYSTEM
L. Gruenwald, Southern Methodist University, and M.H. Eich, University of
Dallas, USA
FILE SYSTEM DESIGN USING LARGE MEMORIES
C. Staelin and H. Garcia-Molina, Princeton University, USA
AN INTERLEAVED FILE SYSTEM FOR A HIGHLY DISTRIBUTED MIMD ARCHITECTURE
Y. Faber and A. Barak, Hebrew University, Israel
II-1 ARTIFICIAL INTELLIGENCE (1)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Saul Amarel - Rutgers University, USA
ARTIFICIAL INTELLIGENCE AND DESIGN
S. Amarel, Rutgers University, USA
TRANSLATING TELEPHONE: PROBLEMS AND PROSPECTS
R. Reddy, Carnegie-Mellon University, USA
III-1 INFORMATION TECHNOLOGY: ROLE AND PROSPECTS
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Amy Wohl - Wohl Associates, USA
USING INFORMATION TECHNOLOGY: AN OVERVIEW
A. Wohl, Wohl Associates, USA
INFORMATION TECHNOLOGY FOR THE 90s
A. Benjamin, Proteo Software Inc. and On-Line People, Canada
13.00 - 14.30 Lunch Break
14.30 - 16.00 PARALLEL SESSIONS
I-2 NEW ARCHITECTURES
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Michael Rodeh - Science and Technology IBM Israel
THE CRYSTAL APPROACH TO COMPILING EFFICIENT PARALLEL PROGRAMS
M. Chen, Yale University, USA
A SIMULATION GENERATOR FOR MULTIPROCESSOR SYSTEMS
A. Israeli and T.A. Nissim, Technion, Israel
XPUTERS: VERY HIGH THROUGHPUT BY INNOVATIVE COMPUTING PRINCIPLES
R.W. Hartenstein, A.G. Hirschbiel and M. Weber, University of Kaiserslautern,
West Germany
AN EFFICIENT ORGANIZATION FOR LARGE, NETWORK-BASED MULTICOMPUTER SYSTEMS
H. Scheidig, M.F. Schneider and R. Spurk, University of Saarbrucken,
West Germany
II-2 ARTIFICIAL INTELLIGENCE (II)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Martin C. Golumbic - IBM T.J. Watson Research Center, USA
LOGIC PROGRAMMING WITH GOAL-DIRECTED SEARCH
J.L. Darlington, Gesellschaft fur Mathematik und Datenverarbeitung,
West Germany
JUNIOR RESEARCHER: A DISCOVERY SYSTEM THAT CAN SOLVE THE N QUEENS PROBLEMS
(N > 3) ON A CONSTANT COMPUTATIONAL COMPLEXITY
Q.S. Gao and S.J. Hou, Technical University of Nova Scotia, Canada
A GENERAL FRAMEWORK OF CONSTRAINT PROPAGATION FOR DIAGNOSTIC SYSTEMS
R. Tsuchiya and T. Ogino, Railway Technical Research Institute, Japan
III-2 PROVIDING VALUE IN INFORMATION TECHNOLOGY
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Robert Rubin - ATOCHEM North America, USA
ORGANIZING FOR SIMPLICITY: THE ROLE OF INFORMATION TECHNOLOGY
R. Rubin, ATOCHEM North America, USA
SAFETY FIRST FOR DATA CENTERS
R. Greene, Dataswitch Corporation, USA
WORLD CLASS QUALITY AND RETURN ON EQUITY THROUGH INFORMATION TECHNOLOGY
H. Schrednick, Corning, USA
16.00 - 16.30 Coffee Break
16.30 - 18.00 PARALLEL SESSIONS
I-3 SPECIAL PURPOSE COMPUTERS
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Jacob Katzenelson - Technion, Israel
THE DATA STRUCTURE ACCELERATOR ARCHITECTURE
R.E. Zippel, Cornell University, USA
THE SUPERCOMPUTER TOOLKIT AND ITS APPLICATIONS
H. Abelson, A.A. Berlin, G. Rozas and G.J. Sussman, MIT, USA, J. Katznelson,
Technion, Israel, and W. McAllister, Hewlett-Packard, USA
A SPECIAL DISTRIBUTED SYSTEM IN A GENERAL PROGRAMMING ENVIRONMENT
A. Heilper and J. Marberg, Science and Technology, IBM Israel
DEADLOCK-AVOIDANCE IN A PAGE-PARALLEL BATCH RASTERIZER
Y. Birk, IBM Almaden Research Center, USA
II-3 ARTIFICIAL INTELLIGENCE (III)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Moshe Ben-Bassat - Tel Aviv University, Israel
A COMPUTATIONAL MODEL OF INTERPRETING QUESTIONS AND GENERATING TAILORED
EXPLANATIONS
E. Sarantinos and P. Johnson, University of London, UK
A STUDY ON THE RECOGNITION OF THE KOREAN MONOTHONGS USING ARTIFICIAL NEURAL
NET MODELS
K. Kim, I. Kim and H. Hwang, Seoul National University, Korea
COMPUTABILITY OF ARCHITECTURAL DESIGN
Y. Kalay, L. Swerdloff and B. Majkowski, SUNY at Buffalo, USA
III-3 STRIVING FOR ENTERPRISE EXCELLENCE
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Irwin J. Sitkin - Aetna Life and Casualty, USA
ENSURING USABILITY: AETNA'S EXPERIENCE
H. Mason and I.J. Sitkin, Aetna Life and Casualty, USA
THE ROAD TO ENTERPRISE EXCELLENCE
E.B. Shore, Asea Brown Boveri, USA
INFORMATION SERVICES RISK MANAGEMENT
M.J. Ginzberg, Case Western Reserve University, and R.T. Moulton,
BP America, USA
COORDINATION: A NEW FIELD OF APPLICATION FOR INFORMATION TECHNOLOGY
A.W. Holt, Coordination Technology, USA
WEDNESDAY, OCTOBER 24, 1990
09.00 - 10.30 PLENARY SESSION
PANEL DISCUSSION:
THE IMPACT OF THE SOVIET IMMIGRATION ON ISRAEL'S POSITION AS AN INTERNATIONAL
HIGH-TECH CENTER
Panelists:
Herman Branover - Head of Liquid Metal MHD Lab, Ben Gurion University of the
Negev, Israel
Uzia Galil - Chairman and CEO, Elron, Israel
President, National Semiconductors, Israel
Jerry Wind - SEI Center of Advanced Studies in Management, University
of Pennsylvania, USA
Giora Yaron - Imaging Vice President, National Semiconductors, and
10.30 - 11.00 Coffee Break
11.00 - 12.30 PARALLEL SESSIONS
I-4 OPERATING SYSTEMS (II)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Boleslaw K. Szymanski - Rensselear Polytechnic Institute, USA
LOG-DRIVEN BACKUPS: A RECOVERY SCHEME
E. Levy and A. Silberschatz, University of Texas at Austin, USA
MUTUAL EXCLUSION REVISITED
B.K. Szymanski, Rensselear Polytechnic Institute, USA
SERVERS, PROCESSES AND SUBPROCESSES: A CRITICAL EVALUATION
Y. Berbers and P. Verbaeten, K.U. Leuven, Belgium
II-4 NATURAL LANGUAGE PROCESSING
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Yaakov Choueka - Bar Ilan University, Israel
THE ACL DATA COLLECTION INITIATIVE
M. Liberman, AT&T Bell Labs, USA
DEDUCING LINGUISTIC STRUCTURE FROM THE STATISTICS OF LARGE CORPORA
M. Marcus, University of Pennsylvania, USA
III-4 THE ROLE OF COPYRIGHT AND PATENT PROTECTION FOR COMPUTER SOFTWARE AND
INTERFACES IN FOSTERING INNOVATING COMPUTER PRODUCTS
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Jack Brown - Brown & Bain, USA
THE CURRENT STATUS OF COPYRIGHT AND PATENT PROTECTION FOR COMPUTER SOFTWARE
B.A. Galler, University of Michigan, J.E. Brown, Brown & Bain, A.L. Clapes,
IBM and E.H. Taylor, Blakeley, Sokoloff, Taylor & Zafman, USA
COPYCAT: A SYSTEM FOR THE DISTRIBUTION OF COPYRIGHT CATALOGING INFORMATION
P.A. Turner, Library of Congress, USA
12.30 - 14.00 Lunch Break
14.00 - 15.30 PARALLEL SESSIONS
I-5 OPERATING SYSTEMS (II)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Abraham Silberschatz - University of Texas at Austin, USA
APPLICATIONS DESIGN FOR DISTRIBUTED PROCESSING AND ENVIRONMENTS
A.L. Scherr, IBM, USA
ANALYSIS OF GANG SCHEDULING
D.G. Feitelson and L. Rudolph, Hebrew University, Israel
USER AUTHENTICATION BY COGNITIVE PASSWORDS: AN EMPIRICAL ASSESSMENT
M. Zviran and W.J. Haga, Naval Postgraduate School, USA
ISSUES IN OPEN DISTRIBUTED SYSTEMS DEVELOPMENT
F.H. Vogt and R. Gotzhein, University of Hamburg, West Germany
II-5 FOUNDATIONS OF COMPUTER SCIENCE (I)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Amir Pnueli - Weizmann Institute of Science, Israel
WHAT IS AN INFERENCE RULE?
R. Fagin, J.Y. Halpern and M.Y. Vardi, IBM Almaden Research Center, USA
A FAST NC ALGORITHM TO RECOGNIZE P4 SPARSE GRAPHS
R. Lin, SUNY at Geneseo and S. Olariu, Old Dominion University, USA
HOW TO KEEP B A DYNAMIC DISTRIBUTIVE DIRECTED GRAPH ACYCLIC A AND YET GRANT
ALL REQUESTS OF EDGE ADDITIONS
S. Even and Y. Pnueli, Technion, Israel
A PARALLEL IMPLEMENTATION OF REWRITING AND NARROWING
N. Dershowitz, University of Illinois, USA and N. Lindenstrauss, Hebrew
University, Israel
III-5 THE MANAGEMENT OF BIBLIOGRAPHIC DATA BY COMPUTER
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Victor Rosenberg - University of Michigan, USA
DESKTOP RESEARCH - INFORMATION MANAGEMENT FOR THE SCHOLAR
V. Rosenberg, University of Michigan, USA
THE MAKING OF AN INFORMATION RETRIEVAL INTERFACE
C.T. Meadow, University of Toronto, Canada
15.30 - 16.00 Coffee Break
16.00 - 17.30 PARALLEL SESSIONS
I-6 DISTRIBUTED PROGRAMMING AND SYSTEMS
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson - Nissim Francez - MCC, USA and Technion, Israel
INTERACTING PROCESSES: A LANGUAGE FOR COORDINATED DISTRIBUTED PROGRAMMING
N. Francez, MCC, USA and Technion, Israel and I.R. Forman, MCC, USA
SUPERPOSITION AND FAIRNESS IN REACTIVE SYSTEM REFINEMENT
R.J.R. Back, Abo Akademi, Finland and R. Kurki-Suonio, Tampere University of
Technology, Finland
REASONING IN CSP VIA THE HOL THEOREM PROVER
A.J. Camilleri, Hewlett-Packard Laboratories, UK
TAPIOCA: OCCAM RAPID PROTOTYPING FROM PETRI-NET
F. Breant, University Pierre et Marie Curie, France
II-6 FOUNDATIONS OF COMPUTER SCIENCE (I)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Moshe Y. Vardi - IBM Almaden Research Center, USA
ONE-PAGE BOOK EMBEDDING UNDER VERTEX-NEIGHBORHOOD CONSTRAINTS
S. Moran, Technion, Israel and Y. Wolfstahl, IBM Almaden Research Center, USA
ON THE EXPRESSIVE POWER OF PROGRAM SCHEMES WITH SETS
A.P. Stolboushkin, USSR Academy of Sciences, USSR
EVALUATION AND COMPARISON OF TEXT-MANIPULATION SYSTEMS
C.S. Yovev, Interprogramma, Bulgaria
OPTIMAL EVALUATION OF VECTOR EXPRESSION TREES
T. Rauber, University of Saarbrucken, West Germany
III-6 COMPUTERS IN EDUCATION
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Sylvia Charp - T.H.E. Journal, USA
TRENDS IN USING COMPUTERS IN EDUCATION
S. Charp, The Technical Horizons in Education (T.H.E.) Journal, USA
COMPUTER INNOVATION IN HIGHER EDUCATION
A.S. Melmed, USA
HARDWARE AND SOFTWARE COMPATIBILITY ISSUES
W.D. Gattis, USA
INTEGRATING COURSEWARE WITH LESSONWARE
L. Osin, Centre for Educational Technology, Israel
COMPUTER ASSISTED INSTRUCTION AND STUDENTS' SOCIAL ORIENTATIONS
Y.J. Katz and B. Offir, Bar-Ilan University, Israel
THURSDAY, OCTOBER 25, 1990
09.00 - 10.30 PARALLEL SESSIONS
I-7 COMMUNICATIONS
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Moshe Sidi - Technion, Israel
BERGATE - A SYSTEM FOR INTERCONNECTING LOCAL AREA NETWORKS VIA BROADBAND ISDN
B. Butscher, Detecon Berlin and Gesellschaft fur Matematik und
Datenverarbeitung, A. Gavras, Konrad-Zuse Zentrum fur Informationstechnik,
T. Luckenbach and X. Xu, Gesellschaft fur Matematik und Datenverarbeitung,
West Germany
PARALLELISM IN TRANSPORT-ORIENTED COMMUNICATION PROTOCOLS
M. Zitterbart, University of Karlsruhe, West Germany
ELECTRONIC DATA INTERCHANGE
C.M.A. Kreuwels, Eindhoven University of Technology, The Netherlands
METHODS AND TOOLS FOR MODELLING THE BEHAVIOR OF INFORMATION-TRANSPORT PORTS IN
DISTRIBUTED SOFTWARE CONFIGURATIONS
A. Pakstas, Lithuanian Academy of Sciences, USSR
ALGORITHMS AND OPTIC IMPLEMENTATION FOR RECONFIGURABLE NETWORKS
Y. Ben-Asher and A. Schuster, Hebrew University, Israel
II-7 KNOWLEDGE BASES
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Ron Y. Pinter - Science and Technology, IBM Israel
DESIGNING ACCESS CONTROL IN A KNOWLEDGE BASE MANAGEMENT SYSTEM
G. Steinke, University of Passau, West Germany
A DATA SCHEMA APPROACH TO MULTI-MEDIA DATABASE SYSTEM ARCHITECTURE
M. Durr and S.M. Lang, University of Karlsruhe, West Germany
OVERLAPPING B+ TREES FOR TEMPORAL DATABASES
Y. Manolopoulos and G. Kapetanakis, Aristotelian University of Thessaloniki,
Greece
DISTRIBUTED KNOWLEDGE BASED SYSTEMS IN CIM
H. Krallmann, Technical University of Berlin, West Germany
III-7 IMAGE PROCESSING - THEORY AND PRACTICE
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Alfred M. Bruckstein, Technion, Israel
EXPERIENCE USING A DYNAMIC ADAPTIVE HIDDEN-SUFRACE REMOVAL ALGORITHM FOR
VOLUME RENDERING WITHIN AN MIMD ARCHITECTURE
M.R. Stytz, Air Force Institution of Technology, and O. Friedler,
Bellcore, USA
A BENCHMARK TO SCALE BEHAVIORALLY OBJECT-ORIENTED DATABASE SYSTEMS
A. Kemper and J. Chriesten, University of Karlsruhe, West Germany
TELEVISUALIZATION: ON THE ROLE OF HIGH-SPEED COMMUNICATION IN THE
VISUALIZATION OF SCIENCE
D. Amitai, Tel Aviv University, Israel
10.30 - 11.00 Coffee Break
11.00 - 12.30 PARALLEL SESSIONS
I-8 COMPUTER AIDED SOFTWARE ENGINEERING
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Meir M. Lehman - Imperial College of Science, Technology
and Medicine, University of London, and Lehman Software
Technology Associates, UK
SOFTWARE UNCERTAINTY AND THE ROLE OF CASE IN ITS MINIMISATION AND CONTROL
M.M. Lehman, Imperial College of Science, Technology and Medicine, and Lehman
Software Technology Associates, U.K.
SOME SIMPLE MODELS OF CASE TOOL INTEGRATION
G. Lewis, Sun Microsystems, USA
AUTOMATED RETRIEVAL OF CONSISTENT DOCUMENTATION FROM REQUIREMENT ANALYSIS TO
PROGRAM CODES FOR SOFTWARE MAINTENANCE
S-T. Tsai, C-C. Yang and C-C. Lien, National Taiwan Institute of Technology,
Taiwan
KNOWLEDGE SUPPORT FOR INFORMATION SYSTEM DESIGN
G. Grosz and C. Rolland, University of Paris, France
SOME PRACTICAL EXPERIENCE WITH THE INTRODUCTION OF CASE TOOLS
P. Rogoway, D. Shaham and S. Toaff, Motorola, Israel
II-8 DATABASES (I)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Catriel Beeri - Hebrew University, Israel
NEW DIRECTIONS IN DATABASE MANAGEMENT SYSTEMS
C. Beeri, Hebrew University, Israel
MULTIDATABASE PERFORMANCE EVALUATION
H. Morales, G. Thomas and Y. Breitbart, University of Kentucky and Amoco
Production CO., USA and A. Silberschatz, University of Texas at Austin, USA
THE HYPERNODE MODEL AND ITS ASSOCIATED QUERY LANGUAGE
M. Levene and A. Poulovassilis, University College, London, UK
INTEGRATION OF DIFFERENT TRANSACTION MODELS IN FEDERATIVE DISTRIBUTED
DATABASE SYSTEMS
W. Johansen, IBM European Networking Center, West Germany
III-8 ISSUES AND OPPORTUNITIES IN INTELLIGENT VEHICLE HIGHWAY SYSTEMS
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Bernard A. Galler - University of Michigan, USA
AN OVERVIEW OF INTELLIGENT VEHICLE HIGHWAY SYSTEMS
K. Chen and B.A. Galler, University of Michigan, USA
ROADS TRANSPORT INFORMATIK IN EUROPE - A SURVEY OF CURRENT DEVELOPMENTS
I. Catling and R. McQueen, Ian Catling Consultancy, UK
DYNAMIC NAVIGATION SYSTEM
Y. Kumagai, Sumitomo Electric, Japan
12.30 - 14.00 LUNCHEON WITH GUEST-SPEAKER
14.00 - 15.30 PARALLEL SESSIONS
I-9 SOFTWARE ENGINEERING
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Paul Rogoway - Motorola, Israel
LOCATION OF CHECKPOINTS IN FAULT TOLERANT SOFTWARE
F. Saglietti, Gesellschaft fur Reaktorsicherheit, Garching, West Germany
LEARNING TO RECOGNIZE REUSABLE SOFTWARE BY INDUCTION
J.C. Esteva, Eastern Michigan University, USA
ON THE USE OF SOFTWARE COST ESTIMATION MODELS
F.J. Heemstra, University of Technology, The Netherlands
FUNCTIONAL C: AN EXTENDED FUNCTIONAL PROGRAMMING LANGUAGE
K. Myuhng-Joo, Seoul National University, Korea
II-9 DATABASES (II)
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Eliezer Lozinskii, Hebrew University, Israel
HEURISTIC-BASED SEMANTIC QUERY OPTIMIZATION
E. Sciore, Boston University, USA and M. Siegel, MIT, USA
SQL QUERY MODIFICATION ALGORITHMS
D. Chou and A. Segev, Lawrence Berkeley Labs and UC at Berkeley, USA
NOTES ON REAL-TIME DISTRIBUTED DATABASE SYSTEMS STABILITY
F.A. Schreiber, Politecnico di Milano, Italy
EVALUATION AND IMPROVEMENT OF QUERY PROCESSING METHODS IN WIDE AND LOCAL AREA
NETWORKS
Z. Krolikowski, Technical University of Poznan, Poland
CONCURRENCY CONTROL IN DISTRIBUTED DATABASES THROUGH DUMMY LOCKS
U. Halici and A. Dogac, Middle Eastern Technical University, Turkey
III-9 REACTIVE SYSTEMS
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Zohar Manna - Stanford University, USA and Weizmann
Institute of Science, Israel
AN INTERLEAVING MODEL FOR REAL TIME
T. Henzinger, Stanford University, USA, Z. Manna, Stanford University, USA
and Weizmann Institute of Science, Israel and A. Pnueli, Weizmann Institute
of Science, Israel
REVERSE SOFTWARE ENGINEERING OF CONCURRENT PROGRAMS
X. Ge and N.S. Prywes, Computer Command and Control Company, USA
DESIGN ADVISOR FOR COMPLEX MISSION CRITICAL SYSTEM
P. Hwang, Navy Surface Weapon Center, USA
A TEMPORAL PROOF METHODOLOGY FOR REACTIVE SYSTEMS
Z. Manna, Stanford University, USA and Weizmann Institute of Science, Israel
and A. Pnueli, Weizmann Institute of Science, Israel
A COMBINATORIAL APPROACH TO TEMPORAL REASONING
A. Belfer, Bar-Ilan University, Israel, and M.C. Golumbic, IBM T.J. Watson
Research Center, USA
15.30 - 16.00 Coffee Break
16.00 - 17.30 CLOSING PLENARY SESSION
INFORMATION TECHNOLOGY:
BREAK-THROUGHS IN THE 90s
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Chairperson: Haim Harari, Weizmann Institute of Science, Israel
COMPUTING - THE NEXT REVOLUTION
A. Peled, IBM T.J. Watson Research Center, USA
PANEL DISCUSSION:
INFORMATION TECHNOLOGY - SPECULATING ABOUT THE FUTURE
Panelists:
Haim Harari - Moderator and panelist,
President, Weizmann Institute of Science,
Israel
Dov Frohman - General Manager, Intel Israel
Abraham Peled - Vice President, Systems, and Director,
Computer Sciences, IBM, T.J. Watson
Research Center, USA
Raj Reddy - Carnegie-Mellon University, USA
Irwin J. Sitkin - Vice President of Corporate Administration,
Aetna Life and Casualty, USA
DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD
Steering Committee
Conference Co-Chairpersons
Joshua Maor - IBM Israel
Abraham Peled - IBM T.J. Watson Research Center, USA
Chairman, 25th National Conference of IPA
Amiram Shore, M.L.L. Software & Computer Industries, Israel
IPA President
Josef Raviv, Science and Technology, IBM Israel
IPA Chairman
Michael Hannani, Dead Sea Bromine Co., Israel
Chairman, the Israel Association of System Analysts
Itzhak Amihud, Hod-Ami Publishers, Israel
Organizing Committee
Chairperson
David Z. Mittwoch, NCR, Israel
Members
James M. Adams Jnr., ACM, USA
Moshe Gottlieb, Bar-Ilan University, Israel
Benyamin H. Raab, The Israel Institute of Productivity, Israel
Michael Rodeh, Science and Technology, IBM Israel
Avraham Tamir, Consultant, Israel
Program Committee
Program Co-Chairpersons
Israel Borovits, Tel Aviv University, Israel
Amir Pnueli, Weizmann Institute of Science, Israel
Noah S. Prywes, University of Pennsylvania, USA
Members
Saul Amarel, Rutgers University, USA
Albrecht Blaser, IBM Heidelberg Scientific Center, West Germany
Norman Badler, University of Pennsylvania, USA
Amnon Barak, Hebrew University of Jerusalem, Israel
Catriel Beeri, Hebrew University of Jerusalem, Israel
Daniel M. Berry, Technion, Israel, and UCLA, USA
Yaacov Choueka, Bar-Ilan University, Israel
Danny Dolev, IBM Almaden Research Center, USA
Nissim Francez, Technion, Israel
Bernard Galler, University of Michigan, USA
Irene Greif, Lotus Development Corporation, USA
Aharon Gill, RAFAEL - Armament Development Authority, Israel
Jeffrey M. Jaffe, IBM T.J. Watson Research Center, USA
Joseph Y. Halpern, IBM Almaden Research Center, USA
John L. Hennessy, Stanford University, USA
Jacob Katznelson, Technion, Israel
Hisashi Kobayashi, Princeton University, USA
Karl A. Kummerle, IBM Ruschlikon Research Laboratory, Switzerland
Meir M. Lehman, Imperial College, and Lehman Software Associates, UK
F. Thomson Leighton, MIT, USA
Albert R. Meyer, MIT, USA
Ron Y. Pinter, Science and Technology, IBM Israel
Stanley Rosenschein, Teleos Research, USA
Adrian Segall, Technion, Israel
Micha Sharir, Tel Aviv University, Israel
Adi Shamir, Weizmann Institute of Science, Israel
Abraham Silberschatz, University of Texas, USA
Irwin J. Sitkin, Aetna Life and Casualty, USA
Jeffrey D. Ullman, Stanford University, USA
Shimon Ullman, Weizmann Institute of Science, Israel
Moshe Y. Vardi, IBM Almaden Research Center, USA
Country Liaisons
Albrecht Blaser, IBM Heidelberg Scientific Center, West Germany
Aaron Finerman, University of Michigan, USA
Karl A. Kummerle, IBM Ruschlikon Research Laboratory, Switzerland
Meir M. Lehman, Imperial College, and Lehman Software Associates, UK
Fabio Schreiber, Politecnico di Milano, Italy