Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|