Search results for "Jerusalem"

Hits ?▲	Authors	Title	Venue	Year	Link
72	J. E. Brown, Anthony L. Clapes, E. H. Taylor	The current status of copyright and patent protection for computer software.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Nachum Dershowitz, Naomi Lindenstrauss	A parallel implementation of equational programming.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Saul Amarel	Artificial intelligence and design.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Rong Lin, Stephan Olariu	A fast NC algorithm to recognize P4-reducible graphs.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Yuri Breitbart, Hector Morales, Avi Silberschatz, Glenn R. Thompson	Multidatabase performance evaluation.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Fabio Alberto Schreiber	Notes on real-time distributed database systems stability.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Yaron Farber, Amnon Barak	An interleaved file system for a highly distributed MIMD architecture.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Ralph-Johan Back, Reino Kurki-Suonio	Superposition and fairness in reactive system refinement.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Yannis Manolopoulos, G. Kapetanakis	Overlapping B+trees for temporal data.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi	What is an inference rule?	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Kan Chen, Bernard A. Galler	An overview of intelligent vehicle-highway systems (IVHS) activities in North America.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Francesca Saglietti	Location of checkpoints in fault-tolerant software.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Eliezer Levy, Abraham Silberschatz	Log-driven backups: A recovery scheme for large memory database systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Shlomo Moran, Yaron Wolfsthal	One-page book embedding under vertex-neighborhood constraints.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Moshe Zviran, William J. Haga	User authentication by cognitive passwords: an empirical assessment.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Amos Israeli, Theodor A. Nissim	A simulation generator for multiprocessor systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Xiang Ge, Noah S. Prywes	Reverse software engineering of concurrent programs.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Alexander Belfer, Martin Charles Golumbic	A combinatorial approach to temporal reasoning.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Steven L. Howell, Phillip Q. Hwang, Cuong M. Nguyen	Expert Design Advisor.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Juan Carlos Esteva	Learning to recognize reusable software modules using an inductive classification system.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Ian Catling, Bob McQueen	Road transport informatics in Europe-a summary of current developments.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Efstratios Sarantinos, Peter Johnson 0001	Generating explanations from question paths.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Magid Igbaria, Milton Silver	A compumetrical approach to summarize benchmark results.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	P. A. Turner	COPYCAT: a system for the distribution of copyright cataloging information.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	William D. Gattis	Hardware and software compatibility issues [computers in education].	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Yitzhak Birk	Deadlock-avoidance in a page-parallel rasterizer.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Anatol W. Holt	Coordination: a new field of application for information technology.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Dror G. Feitelson, Larry Rudolph	Wasted resources in gang scheduling.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Yaacov J. Katz, Baruch Offir	Computer assisted instruction and students' social orientations.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Zohar Manna, Amir Pnueli	A temporal proof methodology for reactive systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Martina Zitterbart	Parallelism in transport oriented communication protocols.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Ryuji Tsuchiya, Takahiko Ogino	A general framework of constraint propagation for diagnostic systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Assaf Schuster, Yosi Ben-Asher	Algorithms and optic implementation for reconfigurable networks.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	François Breant	TAPIOCA: OCCAM rapid prototyping from Petri-net.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Harold Abelson, Andrew A. Berlin, Jacob Katzenelson, William H. McAllister, Guillermo Juan Rozas, Gerald Jay Sussman	The Supercomputer Toolkit and its applications.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Maik Y. Liberman	The ACL data collection initiative.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Alfons Kemper, Joachim Chriesten	A benchmark to scale behaviorally object-oriented database systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Georges Grosz, Colette Rolland	Knowledge support for information system design.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Yehuda E. Kalay	The computability of architectural design.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Irwin J. Sitkin, L. H. Mason	Ensuring usability: Aetna's experience.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Robert M. Rubin	Organizing for simplicity: the role of information technology.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Ugur Halici, Asuman Dogac	Concurrency control in distributed databases through dummy locks.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Meir M. Lehman	Software uncertainty and the role of CASE in its minimisation and control.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Zbyszko Królikowski	Evaluation and improvement of query processing methods in wide and local area network.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Andrei Heilper, John M. Marberg	A special distributed system in a general programming environment.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Thomas Rauber	Optimal evaluation of vector expression trees.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Sylvia Charp	Trends in using computers in education.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Charles T. Meadow	The making of an information retrieval interface.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	R. E. Greene	Safety first [data security].	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	D. Chou, Arie Segev	SQL query modification algorithms.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Martin R. Stytz, Ophir Frieder	Experience using a dynamic adaptive hidden-surface removal algorithm for volume rendering within a MIMD architecture.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Boleslaw K. Szymanski	Mutual exclusion revisited.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Myuhng Joo Kim, Chu Shik Jhon	Functional C: an extended functional programming language.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Algirdas Pakstas	Methods and tools for modelling the behaviour of information-transport ports in distributed software configurations.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	An interleaving model for real-time.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Catriel Beeri	New directions in database management systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Carl Staelin, Hector Garcia-Molina	File system design using large memories.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Helge Scheidig, M. F. Schneider, R. Spurk	An efficient organization for large, network-based multicomputer systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Amy Wohl	Using information technology.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Martin Dürr, Stefan M. Lang	Mapping data schemas to MDBMS architecture layers.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Ki-Seok Kim, Inbum Kim, Heeyeung Hwang	A study on the recognition of the Korean monothongs using artificial neural net models.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Mark Levene, Alexandra Poulovassilis	The hypernode model and its associated query language.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Harvey Shrednick	Positioning I/S to achieve world-class quality performance.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Victor Rosenberg	Desktop research-information management for the scholar.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Alexei P. Stolboushkin	On the expressive power of program schemes with sets.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Reiner W. Hartenstein, Alexander G. Hirschbiel, M. Weber	Xputers: very high throughput by innovative computing principles.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Yolande Berbers, Pierre Verbaeten	Servers, processes and subprocesses: a critical evaluation.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Raj Reddy	Translating telephone: problems and prospects.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Anastassios Gavras, Berthold Butscher, Thomas Luckenbach, Xiangwen Xu	Bergate-a system for interconnecting local area networks via broadband ISDN.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Q. S. Gao, S. J. Hou	Junior Researcher: a discovery system that can solve the N queens problems (N≥4) on a constant computational complexity.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Jared L. Darlington	Logic programming with goal-directed search.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Gerhard Steinke	Access control requirements for environmental information knowledge base systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Fred J. Heemstra	Software cost estimation models.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Arthur Melmed	Computer innovation in higher education.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Nissim Francez, Ira R. Forman	Interacting processes: a language for coordinated distributed programming.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Shimon Even, Yachin Pnueli	How to keep a dynamic distributive directed graph acyclic and yet grant all requests of edge additions.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Richard Zippel	Programming the data structure accelerator.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Edwin B. Shore	The road to enterprise excellence.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Luis Osin	Integrating courseware with lessonware [computers in education].	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Edward Sciore, Michael D. Siegel	Heuristic-based semantic query optimization.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Dganit Amitai	Televisualization: on the role of high-speed communication in the visualization of science.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Le Gruenwald, Margaret H. Eich	Choosing the best storage technique for a main memory database system.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	G. R. Lewis	Some simple models of CASE tool integration.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	C. S. Yovev	Evaluation and comparison of text-manipulation systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Eric Brill, David M. Magerman, Mitchell Marcus, Beatrice Santorini	Deducing linguistic structure from the statistics of large corpora.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Michael J. Ginzberg, Rolf T. Moulton	Information technology risk management.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Shun-Tzu Tsai, Chien-Chiao Yang	Automated retrieval of consistent documentation from requirement analysis to program codes for software maintenance.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Albert John Camilleri	Reasoning in CSP via the HOL theorem prover.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Coen M. A. Kreuwels	Electronic data interchange.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	Wolfgang Johannsen	Integration of different transaction models in federative distributed database systems.	Jerusalem Conference on Information Technology	1990	DBLP DOI BibTeX RDF
72	F. Carassa, Guido Tartara	The SIRIO Programme and Developments in Satellite Communications.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	Tamas E. Doszkocs	An Associative Interactive Dictionary for Online Bibliographic Searching.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	Jean E. Sammet	The State of Programming Languages.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	Matthew Morgenstern	Transferring Technology from Research Systems to Users.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	J. E. Fisher	Costing the Transfer of Medical Technology.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	Nathan Ehrlich	The Advanced Mobile Phone Service.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	A. E. Cawkell	Analysing Information-Flow in Science and Technology with Citation Networks.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	Graham P. Mead	Some Aspects of the Computer Education Required in Developing Countries.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	Edgar H. Sibley	An Introduction to the Database Sessions.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF
72	Christian Landrault, Jean-Claude Laprie	SURF - A Program for Modeling and Reliability Prediction for Fault-Tolerant Computing Systems.	Jerusalem Conference on Information Technology	1978	DBLP BibTeX RDF