The Community for Technology Leaders
Proceedings of the 5th Jerusalem Conference on Information Technology 'Next Decade in Information Technology' (1990)
Jerusalem, Israel
Oct. 22, 1990 to Oct. 25, 1990
ISBN: 0-8186-2078-1
TABLE OF CONTENTS

Choosing the best storage technique for a main memory database system (PDF)

L. Gruenwald , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
M.H. Eich , Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
pp. 1-10

File system design using large memories (PDF)

C. Staelin , Dept. of Comput. Sci., Princeton Univ., NJ, USA
H. Garcia-Molina , Dept. of Comput. Sci., Princeton Univ., NJ, USA
pp. 11-21

An interleaved file system for a highly distributed MIMD architecture (PDF)

Y. Farber , Dept. of Comput. Sci., Hebrew Univ. of Jerusalem, Israel
A. Barak , Dept. of Comput. Sci., Hebrew Univ. of Jerusalem, Israel
pp. 22-30

A simulation generator for multiprocessor systems (PDF)

A. Israeli , Dept. of Electr. Eng., Technion-Israel Inst. of Technol, Israel
T.A. Nissim , Dept. of Electr. Eng., Technion-Israel Inst. of Technol, Israel
pp. 32-42

Xputers: very high throughput by innovative computing principles (PDF)

R.W. Hartenstein , Kaiserslautern Univ., Germany
A.G. Hirschbiel , Kaiserslautern Univ., Germany
M. Weber , Kaiserslautern Univ., Germany
pp. 43-50

An efficient organization for large, network-based multicomputer systems (PDF)

H. Scheidig , Dept. of Comput. Sci., Saarbrucken Univ., Germany
M.F. Schneider , Dept. of Comput. Sci., Saarbrucken Univ., Germany
R. Spurk , Dept. of Comput. Sci., Saarbrucken Univ., Germany
pp. 51-64

Programming the data structure accelerator (PDF)

R. Zippel , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 65-75

The Supercomputer Toolkit and its applications (PDF)

H. Abelson , Dept. of Electr. Eng. & Comput. Sci., MIT, Cambridge, MA, USA
A.A. Berlin , Dept. of Electr. Eng. & Comput. Sci., MIT, Cambridge, MA, USA
pp. 76-81

A special distributed system in a general programming environment (PDF)

A. Heilper , IBM Israel, Haifa, Israel
J. Marberg , IBM Israel, Haifa, Israel
pp. 82-88

Deadlock-avoidance in a page-parallel rasterizer (PDF)

Y. Birk , IBM Almaden Res. Center, San Jose, CA, USA
pp. 89-98

Log-driven backups: A recovery scheme for large memory database systems (PDF)

E. Levy , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 99-109

Mutual exclusion revisited (PDF)

B.K. Szymanski , Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA
pp. 110-117

Servers, processes and subprocesses: a critical evaluation (PDF)

Y. Berbers , Dept. of Comput. Sci., Katholieke Univ., Leuven, Belgium
P. Verbaeten , Dept. of Comput. Sci., Katholieke Univ., Leuven, Belgium
pp. 118-125

Wasted resources in gang scheduling (PDF)

D.G. Feitelson , Dept. of Comput. Sci., Hebrew Univ. of Jerusalem, Israel
L. Rudolph , Dept. of Comput. Sci., Hebrew Univ. of Jerusalem, Israel
pp. 127-136

User authentication by cognitive passwords: an empirical assessment (PDF)

M. Zviran , US Naval Postgraduate Sch., Monterey, CA, USA
W.J. Haga , US Naval Postgraduate Sch., Monterey, CA, USA
pp. 137-144

Interacting processes: a language for coordinated distributed programming (PDF)

N. Francez , Microelectron. & Comput. Technol. Corp., Austin, TX, USA
I.R. Forman , Microelectron. & Comput. Technol. Corp., Austin, TX, USA
pp. 146-161

Superposition and fairness in reactive system refinement (PDF)

R.J.R. Back , Abo Akademi Univ. Turqu, Finland
R. Kurki-Suonio , Abo Akademi Univ. Turqu, Finland
pp. 162-172

Reasoning in CSP via the HOL theorem prover (PDF)

A.J. Camilleri , Hewlett-Packard Lab., Bristol, UK
pp. 173-183

TAPIOCA: OCCAM rapid prototyping from Petri-net (PDF)

F. Breant , CNRS, Univ. Pierre et Marie Curie, Paris, France
pp. 184-190

Methods and tools for modelling the behaviour of information-transport ports in distributed software configurations (PDF)

A. Pakstas , Inst. of Math. & Comput. Sci., Acad. of Sci., Vilnius, Lithuanian SSR, USSR
pp. 191-194

Bergate-a system for interconnecting local area networks via broadband ISDN (PDF)

A. Gavras , Konrad-Zuse Zentrum fuer Informationstech., Berlin, Germany
pp. 195-205

Parallelism in transport oriented communication protocols (PDF)

M. Zitterbart , Inst. of Telematics, Karlsruhe Univ., Germany
pp. 206-213

Electronic data interchange (PDF)

C.M.A. Kreuwels , Dept. of Ind. Eng., Univ. of Technol. Eindhoven, Netherlands
pp. 214-224

Algorithms and optic implementation for reconfigurable networks (PDF)

A. Schuster , Dept. of Comput. Sci., Hebrew Univ., Jerusalem, Israel
Y. Ben-Asher , Dept. of Comput. Sci., Hebrew Univ., Jerusalem, Israel
pp. 225-235

Software uncertainty and the role of CASE in its minimisation and control (PDF)

M.M. Lehman , Dept. of Comput., Imperial Coll. of Sci. & Technol., London, UK
pp. 236-246

Some simple models of CASE tool integration (PDF)

G.R. Lewis , Sun Microsyst. Inc., Mountain View, CA, USA
pp. 247-250

Knowledge support for information system design (PDF)

G. Grosz , Lab. MASI, Univ. Pierre et Marie Curie, Paris, France
pp. 261-268

Location of checkpoints in fault-tolerant software (PDF)

F. Saglietti , Gesellschaft fuer Reaktorsicherheit mbH Forschungsgelande, Garching, Germany
pp. 270-277

Learning to recognize reusable software modules using an inductive classification system (PDF)

J.C. Esteva , Dept. of Oper. Res. & Inf. Syst., Eastern Michigan Univ., Ypsilanti, MI, USA
pp. 278-285

Software cost estimation models (PDF)

F.J. Heemstra , Dept. of Ind. Eng., Univ. of Technol., Eindhoven, Netherlands
pp. 286-297

Functional C: an extended functional programming language (PDF)

M.J. Kim , Dept. of Comput. Sci., Seoul Nat. Univ., South Korea
C.S. Jhon , Dept. of Comput. Sci., Seoul Nat. Univ., South Korea
pp. 298-302

A compumetrical approach to summarize benchmark results (PDF)

M. Igbaria , Dept. of Manage., Drexel Univ., Philadelphia, PA, USA
M. Silver , Dept. of Manage., Drexel Univ., Philadelphia, PA, USA
pp. 303-314

Artificial intelligence and design (PDF)

S. Amarel , Dept. of Comput. Sci., Rutgers Univ., NJ, USA
pp. 315-333

Translating telephone: problems and prospects (PDF)

R. Reddy , Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 334-335

Logic programming with goal-directed search (PDF)

J.L. Darlington , Gesellschaft fuer Math. und Datenverarbeitung, St. Augustin, Germany
pp. 336-344

Junior Researcher: a discovery system that can solve the N queens problems (N>or=4) on a constant computational complexity (PDF)

Q.S. Gao , Sch. of Comput. Sci., Tech. Univ. of Nova Scotia, Halifax, NS, Canada
S.J. Hou , Sch. of Comput. Sci., Tech. Univ. of Nova Scotia, Halifax, NS, Canada
pp. 345-347

A general framework of constraint propagation for diagnostic systems (PDF)

R. Tsuchiya , Railway Tech. Res. Inst., Tokyo, Japan
T. Ogino , Railway Tech. Res. Inst., Tokyo, Japan
pp. 348-352

Generating explanations from question paths (PDF)

E. Sarantinos , Dept. of Comput. Sci., London Univ., UK
P. Johnson , Dept. of Comput. Sci., London Univ., UK
pp. 353-363

A study on the recognition of the Korean monothongs using artificial neural net models (PDF)

Kiseok Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Inbum Kim , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Heeyeung Hwang , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 364-371

The computability of architectural design (PDF)

Y.E. Kalay , Sch. of Archit. & Planning, State Univ. of New York, Buffalo, NY, USA
pp. 372-378

Deducing linguistic structure from the statistics of large corpora (PDF)

E. Brill , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
D. Magerman , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
M. Marcus , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
B. Santorini , Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
pp. 380-389

What is an inference rule? (PDF)

R. Fagin , IBM Almaden Res. Center, San Jose, CA, USA
J.Y. Halpern , IBM Almaden Res. Center, San Jose, CA, USA
M.Y. Vardi , IBM Almaden Res. Center, San Jose, CA, USA
pp. 391-401

A fast NC algorithm to recognize P/sub 4/-reducible graphs (PDF)

R. Lin , Dept. of Comput. Sci., State Univ. of New York, Geneseo, NY, USA
pp. 402-413

How to keep a dynamic distributive directed graph acyclic and yet grant all requests of edge additions (PDF)

S. Even , Dept. of Comput. Sci., Technion, Haifa, Israel
Y. Pnueli , Dept. of Comput. Sci., Technion, Haifa, Israel
pp. 414-425

A parallel implementation of equational programming (PDF)

N. Dershowitz , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 426-435

One-page book embedding under vertex-neighborhood constraints (PDF)

S. Moran , Fac. of Comput. Sci., Technion, Haifa, Israel
Y. Wolfsthal , Fac. of Comput. Sci., Technion, Haifa, Israel
pp. 436-446

Optimal evaluation of vector expression trees (PDF)

T. Rauber , Lehrstuhl fuer Rechnerarchitektur, Saarbrucken Univ., Germany
pp. 467-473

Mapping data schemas to MDBMS architecture layers (PDF)

M. Durr , Fakultat fuer Inf., Karlsruhe Univ., Germany
S.M. Lang , Fakultat fuer Inf., Karlsruhe Univ., Germany
pp. 481-490

Overlapping B+trees for temporal data (PDF)

Y. Manolopoulos , Aristotelian Univ. of Thessaloniki, Greece
G. Kapetanakis , Aristotelian Univ. of Thessaloniki, Greece
pp. 491-498

New directions in database management systems (PDF)

C. Beeri , Hebrew Univ. of Jerusalem, Israel
pp. 500-506

Multidatabase performance evaluation (PDF)

Y. Breitbart , Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
pp. 507-519

The hypernode model and its associated query language (PDF)

M. Levene , Dept. of Comput. Sci., Univ. Coll. London, UK
A. Poulovassilis , Dept. of Comput. Sci., Univ. Coll. London, UK
pp. 520-530

Heuristic-based semantic query optimization (PDF)

E. Sciore , Dept. of Comput. Sci., Boston Coll., Chestnut Hill, MA, USA
pp. 541-550

SQL query modification algorithms (PDF)

D. Chou , California Univ., Berkeley, CA, USA
A. Segev , California Univ., Berkeley, CA, USA
pp. 551-559

Notes on real-time distributed database systems stability (PDF)

F.A. Schreiber , Dipartimento di Elettronica, Politecnico di Milano, Italy
pp. 560-564

Evaluation and improvement of query processing methods in wide and local area network (PDF)

Z. Krolikowski , Comput. Sci. Inst., Tech. Univ. of Poznan, Poland
pp. 565-575

Concurrency control in distributed databases through dummy locks (PDF)

U. Halici , Middle East Tech. Univ., Ankara, Turkey
A. Dogac , Middle East Tech. Univ., Ankara, Turkey
pp. 576-585

Using information technology (PDF)

A.D. Wohl , Wohl Assoc., Bala Cynwyd, PA, USA
pp. 586-587

Organizing for simplicity: the role of information technology (PDF)

R.M. Rubin , Atochem North America, Philadelphia, PA, USA
pp. 589-592

Ensuring usability: Aetna's experience (PDF)

I.J. Sitkin , Aetna Life & Casualty, Hartford, CT, USA
L.H. Mason , Aetna Life & Casualty, Hartford, CT, USA
pp. 598-599

The road to enterprise excellence (PDF)

E.B. Shore , Asea Brown Boveri Inc., Windsor, CT, USA
pp. 600-601

Information technology risk management (PDF)

M.J. Ginzberg , Case Western Reserve Univ., Cleveland, OH, USA
pp. 602-608

COPYCAT: a system for the distribution of copyright cataloging information (PDF)

P.A. Turner , Cataloging Distribution Service, Washington, DC, USA
pp. 630-638

Desktop research-information management for the scholar (PDF)

V. Rosenberg , Michigan Univ., Ann Arbor, MI, USA
pp. 639-642

Computer innovation in higher education (PDF)

A.S. Melmed , New York Univ., NY, USA
pp. 647-649

Hardware and software compatibility issues (computers in education) (PDF)

W.D. Gattis , Techbyte Int. Inc., Arlington, TX, USA
pp. 650-656

Integrating courseware with lessonware (computers in education) (PDF)

L. Osin , Centre for Educ. Technol., Ramat Aviv, Israel
pp. 657-659

Computer assisted instruction and students' social orientations (PDF)

Y.J. Katz , Sch. of Educ., Bar Ilan Univ., Ramat-Gan, Israel
B. Offir , Sch. of Educ., Bar Ilan Univ., Ramat-Gan, Israel
pp. 660-664

Experience using a dynamic adaptive hidden-surface removal algorithm for volume rendering within a MIMD architecture (PDF)

M.R. Stytz , Dept. of Electr. Eng. & Comput. Sci., Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA
pp. 665-676

A benchmark to scale behaviorally object-oriented database systems (PDF)

A. Kemper , Fakultat fuer Inf., Karlsruhe Univ., Germany
J. Chriesten , Fakultat fuer Inf., Karlsruhe Univ., Germany
pp. 677-687

An overview of intelligent vehicle-highway systems (IVHS) activities in North America (PDF)

K. Chen , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
B.A. Galler , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 694-701

An interleaving model for real-time (PDF)

T.A. Henzinger , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 717-730

Reverse software engineering of concurrent programs (PDF)

X. Ge , Computer Command & Control Co., Philadelphia, PA, USA
N. Prywes , Computer Command & Control Co., Philadelphia, PA, USA
pp. 731-742

Expert Design Advisor (PDF)

S.L. Howell , US Naval Surface Warfare Center, Silver Spring, MD, USA
P.Q. Hwang , US Naval Surface Warfare Center, Silver Spring, MD, USA
C.M. Nguyen , US Naval Surface Warfare Center, Silver Spring, MD, USA
pp. 743-756

A temporal proof methodology for reactive systems (PDF)

Z. Manna , Dept. of Appl. Math., Weizmann Inst., Rehovot, Israel
A. Pnueli , Dept. of Appl. Math., Weizmann Inst., Rehovot, Israel
pp. 757-773

A combinatorial approach to temporal reasoning (PDF)

A. Belfer , Dept. of Math. & Comput. Sci., Bar-Ilan Univ., Ramat Gan, Israel
pp. 774-780

The ACL data collection initiative (PDF)

M.Y. Liberman , Dept. of Linguistics, Pennsylvania Univ., Philadelphia, PA, USA
pp. 781-786

The making of an information retrieval interface (PDF)

C.T. Meadow , Fac. of Libr. & Inf. Sci., Toronto Univ., Ont., Canada
pp. 787-795
91 ms
(Ver 3.3 (11022016))