Jerusalem Conference on Information Technology - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 227

1990

The Supercomputer Toolkit and its applicationsHarold Abelson, Andrew A. Berlin, Jacob Katzenelson, William H. McAllister, Guillermo Juan Rozas, Gerald Jay Sussman. jcit 1990: 76-81 [doi]

Artificial intelligence and designSaul Amarel. jcit 1990: 315-333 [doi]

Televisualization: on the role of high-speed communication in the visualization of scienceDganit Amitai. jcit 1990: 688-693 [doi]

Superposition and fairness in reactive system refinementRalph-Johan Back, Reino Kurki-Suonio. jcit 1990: 162-172 [doi]

New directions in database management systemsCatriel Beeri. jcit 1990: 500-506 [doi]

A combinatorial approach to temporal reasoningAlexander Belfer, Martin Charles Golumbic. jcit 1990: 774-780 [doi]

Servers, processes and subprocesses: a critical evaluationYolande Berbers, Pierre Verbaeten. jcit 1990: 118-125 [doi]

Deadlock-avoidance in a page-parallel rasterizerYitzhak Birk. jcit 1990: 89-98 [doi]

TAPIOCA: OCCAM rapid prototyping from Petri-netF. Breant. jcit 1990: 184-190 [doi]

Multidatabase performance evaluationYuri Breitbart, Hector Morales, Avi Silberschatz, Glenn R. Thompson. jcit 1990: 507-519 [doi]

Deducing linguistic structure from the statistics of large corporaEric Brill, David M. Magerman, Mitchell Marcus, Beatrice Santorini. jcit 1990: 380-389 [doi]

The current status of copyright and patent protection for computer softwareJ. E. Brown, Anthony L. Clapes, E. H. Taylor. jcit 1990: 617-629 [doi]

Reasoning in CSP via the HOL theorem proverAlbert John Camilleri. jcit 1990: 173-183 [doi]

Road transport informatics in Europe-a summary of current developmentsIan Catling, Bob McQueen. jcit 1990: 702-715 [doi]

Trends in using computers in educationS. Charp. jcit 1990: 644-646 [doi]

An overview of intelligent vehicle-highway systems (IVHS) activities in North AmericaKan Chen, Bernard A. Galler. jcit 1990: 694-701 [doi]

SQL query modification algorithmsD. Chou, Arie Segev. jcit 1990: 551-559 [doi]

Logic programming with goal-directed searchJared L. Darlington. jcit 1990: 336-344 [doi]

A parallel implementation of equational programmingNachum Dershowitz, Naomi Lindenstrauss. jcit 1990: 426-435 [doi]

Mapping data schemas to MDBMS architecture layersMartin Dürr, Stefan M. Lang. jcit 1990: 481-490 [doi]

Learning to recognize reusable software modules using an inductive classification systemJuan Carlos Esteva. jcit 1990: 278-285 [doi]

How to keep a dynamic distributive directed graph acyclic and yet grant all requests of edge additionsShimon Even, Yachin Pnueli. jcit 1990: 414-425 [doi]

What is an inference rule?Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. jcit 1990: 391-401 [doi]

An interleaved file system for a highly distributed MIMD architectureYaron Farber, Amnon Barak. jcit 1990: 22-30 [doi]

Wasted resources in gang schedulingDror G. Feitelson, Larry Rudolph. jcit 1990: 127-136 [doi]

Interacting processes: a language for coordinated distributed programmingNissim Francez, Ira R. Forman. jcit 1990: 146-161 [doi]

Junior Researcher: a discovery system that can solve the N queens problems (N&ges;4) on a constant computational complexityQ. S. Gao, S. J. Hou. jcit 1990: 345-347 [doi]

Hardware and software compatibility issues [computers in education]William D. Gattis. jcit 1990: 650-656 [doi]

Bergate-a system for interconnecting local area networks via broadband ISDNAnastassios Gavras, Berthold Butscher, Thomas Luckenbach, Xiangwen Xu. jcit 1990: 195-205 [doi]

Reverse software engineering of concurrent programsXiang Ge, Noah S. Prywes. jcit 1990: 731-742 [doi]

Information technology risk managementMichael J. Ginzberg, Rolf T. Moulton. jcit 1990: 602-608 [doi]

Safety first [data security]R. E. Greene. jcit 1990: 593-595 [doi]

Knowledge support for information system designGeorges Grosz, Colette Rolland. jcit 1990: 261-268 [doi]

Choosing the best storage technique for a main memory database systemLe Gruenwald, Margaret H. Eich. jcit 1990: 1-10 [doi]

Concurrency control in distributed databases through dummy locksUgur Halici, Asuman Dogac. jcit 1990: 576-585 [doi]

Xputers: very high throughput by innovative computing principlesReiner W. Hartenstein, Alexander G. Hirschbiel, M. Weber. jcit 1990: 43-50 [doi]

Software cost estimation modelsFred J. Heemstra. jcit 1990: 286-297 [doi]

A special distributed system in a general programming environmentAndrei Heilper, John Marberg. jcit 1990: 82-88 [doi]

An interleaving model for real-timeThomas A. Henzinger, Zohar Manna, Amir Pnueli. jcit 1990: 717-730 [doi]

Coordination: a new field of application for information technologyA. W. Holt. jcit 1990: 609-616 [doi]

Expert Design AdvisorSteven L. Howell, Phillip Q. Hwang, Cuong M. Nguyen. jcit 1990: 743-756 [doi]

A compumetrical approach to summarize benchmark resultsMagid Igbaria, Milton Silver. jcit 1990: 303-314 [doi]

A simulation generator for multiprocessor systemsAmos Israeli, Theodor A. Nissim. jcit 1990: 32-42 [doi]

Integration of different transaction models in federative distributed database systemsWolfgang Johannsen. jcit 1990: 531-540 [doi]

The computability of architectural designYehuda E. Kalay. jcit 1990: 372-378 [doi]

Computer assisted instruction and students' social orientationsYaacov J. Katz, Baruch Offir. jcit 1990: 660-664 [doi]

A benchmark to scale behaviorally object-oriented database systemsAlfons Kemper, Joachim Chriesten. jcit 1990: 677-687 [doi]

Functional C: an extended functional programming languageMyuhng Joo Kim, Chu Shik Jhon. jcit 1990: 298-302 [doi]

A study on the recognition of the Korean monothongs using artificial neural net modelsKi Seok Kim, Inbum Kim, Heeyeung Hwang. jcit 1990: 364-371 [doi]

Electronic data interchangeCoen M. A. Kreuwels. jcit 1990: 214-224 [doi]

Evaluation and improvement of query processing methods in wide and local area networkZbyszko Królikowski. jcit 1990: 565-575 [doi]

Software uncertainty and the role of CASE in its minimisation and controlMeir M. Lehman. jcit 1990: 236-246 [doi]

The hypernode model and its associated query languageMark Levene, Alexandra Poulovassilis. jcit 1990: 520-530 [doi]

Log-driven backups: A recovery scheme for large memory database systemsEliezer Levy, Abraham Silberschatz. jcit 1990: 99-109 [doi]

Some simple models of CASE tool integrationG. R. Lewis. jcit 1990: 247-250 [doi]

The ACL data collection initiativeMaik Y. Liberman. jcit 1990: 781-786 [doi]

4-reducible graphsRong Lin, Stephan Olariu. jcit 1990: 402-413 [doi]

A temporal proof methodology for reactive systemsZohar Manna, Amir Pnueli. jcit 1990: 757-773 [doi]

Overlapping B+trees for temporal dataYannis Manolopoulos, G. Kapetanakis. jcit 1990: 491-498 [doi]

Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990Joshua Maor, Abraham Peled, editors, IEEE, 1990. [doi]

The making of an information retrieval interfaceCharles T. Meadow. jcit 1990: 787-795 [doi]

Computer innovation in higher educationArthur Melmed. jcit 1990: 647-649 [doi]

One-page book embedding under vertex-neighborhood constraintsShlomo Moran, Yaron Wolfsthal. jcit 1990: 436-446 [doi]

Integrating courseware with lessonware [computers in education]Luis Osin. jcit 1990: 657-659 [doi]

Methods and tools for modelling the behaviour of information-transport ports in distributed software configurationsAlgirdas Pakstas. jcit 1990: 191-194 [doi]

Optimal evaluation of vector expression treesThomas Rauber. jcit 1990: 467-473 [doi]

Translating telephone: problems and prospectsR. Reddy. jcit 1990: 334-335 [doi]

Desktop research-information management for the scholarVictor Rosenberg. jcit 1990: 639-642 [doi]

Organizing for simplicity: the role of information technologyRobert M. Rubin. jcit 1990: 589-592 [doi]

Location of checkpoints in fault-tolerant softwareFrancesca Saglietti. jcit 1990: 270-277 [doi]

Generating explanations from question pathsEfstratios Sarantinos, Peter Johnson. jcit 1990: 353-363 [doi]

An efficient organization for large, network-based multicomputer systemsHelge Scheidig, M. F. Schneider, R. Spurk. jcit 1990: 51-64 [doi]

Notes on real-time distributed database systems stabilityFabio A. Schreiber. jcit 1990: 560-564 [doi]

Algorithms and optic implementation for reconfigurable networksAssaf Schuster, Yosi Ben-Asher. jcit 1990: 225-235 [doi]

Heuristic-based semantic query optimizationEdward Sciore, Michael Siegel. jcit 1990: 541-550 [doi]

The road to enterprise excellenceEdwin B. Shore. jcit 1990: 600-601 [doi]

Positioning I/S to achieve world-class quality performanceHarvey Shrednick. jcit 1990: 596-597 [doi]

Ensuring usability: Aetna's experienceIrwin J. Sitkin, L. H. Mason. jcit 1990: 598-599 [doi]

File system design using large memoriesCarl Staelin, Hector Garcia-Molina. jcit 1990: 11-21 [doi]

Access control requirements for environmental information knowledge base systemsGerhard Steinke. jcit 1990: 474-480 [doi]

On the expressive power of program schemes with setsAlexei P. Stolboushkin. jcit 1990: 447-455 [doi]

Experience using a dynamic adaptive hidden-surface removal algorithm for volume rendering within a MIMD architectureMartin R. Stytz, Ophir Frieder. jcit 1990: 665-676 [doi]

Mutual exclusion revisitedBoleslaw K. Szymanski. jcit 1990: 110-117 [doi]

Automated retrieval of consistent documentation from requirement analysis to program codes for software maintenanceShun-Tzu Tsai, Chien-Chiao Yang. jcit 1990: 251-260 [doi]

A general framework of constraint propagation for diagnostic systemsRyuji Tsuchiya, Takahiko Ogino. jcit 1990: 348-352 [doi]

COPYCAT: a system for the distribution of copyright cataloging informationP. A. Turner. jcit 1990: 630-638 [doi]

Using information technologyAmy Wohl. jcit 1990: 586-587 [doi]

Evaluation and comparison of text-manipulation systemsC. S. Yovev. jcit 1990: 456-466 [doi]

Programming the data structure acceleratorRichard Zippel. jcit 1990: 65-75 [doi]

Parallelism in transport oriented communication protocolsMartina Zitterbart. jcit 1990: 206-213 [doi]

User authentication by cognitive passwords: an empirical assessmentMoshe Zviran, William J. Haga. jcit 1990: 137-144 [doi]

1978

Jerusalem Conference on Information Technology1978.

The Advanced Mobile Phone ServiceNathan Ehrlich. jcit 1978: 437-441

Education for the Use of Machines Readable Reference Retrieval ServicesArthur W. Elias. jcit 1978: 45-50

Environment, Information Processing and the Participant CitizenT. Simons. jcit 1978: 143-150

Chess 4.6 - Where Do We Go From Here?David Slate, Benjamin Mittman. jcit 1978: 193-198

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Jerusalem Conference on Information Technology (jcit)

Viewing Publication 1 - 100 from 227

1990

1978

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Jerusalem Conference on Information Technology (jcit)

Viewing Publication 1 - 100 from 227

1990

1978

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1