首页>外文会议>其他>Jerusalem Conference on Information Technology

Jerusalem Conference on Information Technology

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Computer innovation in higher education

机译：高等教育计算机创新
- 作者：Melmed A.S.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
2.Log-driven backups: A recovery scheme for large memory database systems

机译：记录驱动的备份：大内存数据库系统的恢复方案
- 作者：Levy E.;Silberschatz A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
3.The Supercomputer Toolkit and its applications

机译：超级计算机工具包及其应用
- 作者：Abelson H.;Berlin A.A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
4.User authentication by cognitive passwords: an empirical assessment

机译：认知密码的用户身份验证：实证评估
- 作者：Zviran M.;Haga W.J.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
5.Coordination: a new field of application for information technology

机译：协调：信息技术的新申请领域
- 作者：Holt A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
6.Hardware and software compatibility issues (computers in education)

机译：硬件和软件兼容性问题（教育中的计算机）
- 作者：Gattis W.D.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
7.Integration of different transaction models in federative distributed database systems

机译：联合分布式数据库系统中不同交易模型的集成
- 作者：Johannsen W.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
8.SQL query modification algorithms

机译：SQL查询修改算法
- 作者：Chou D.;Segev A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
9.Positioning I/S to achieve world-class quality performance

机译：定位I / S实现世界级的质量表现
- 作者：Shrednick H.R.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
10.The ACL data collection initiative

机译：ACL数据收集计划
- 作者：Liberman M.Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
11.Ensuring usability: Aetna's experience

机译：确保可用性：Aetna的经验
- 作者：Sitkin I.J.;Mason L.H.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
12.Junior Researcher: a discovery system that can solve the N queens problems (Nor=4) on a constant computational complexity

机译：初级研究员：一个发现系统，可以在恒定的计算复杂度上解决n个Queens问题（n <或= 4）
- 作者：Gao Q.S.;Hou S.J.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
13.On the expressive power of program schemes with sets

机译：论套装方案方案的表现力
- 作者：Stolboushkin A.P.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
14.Translating telephone: problems and prospects

机译：翻译电话：问题和前景
- 作者：Reddy R.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
15.Deducing linguistic structure from the statistics of large corpora

机译：从大公司统计中迈出语言结构
- 作者：Brill E.;Magerman D.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
16.New directions in database management systems

机译：数据库管理系统中的新方向
- 作者：Beeri C.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
17.Functional C: an extended functional programming language

机译：功能C：扩展功能编程语言
- 作者：Kim M.J.;Jhon C.S.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
18.Logic programming with goal-directed search

机译：具有目标定向搜索的逻辑编程
- 作者：Darlington J.L.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
19.Heuristic-based semantic query optimization

机译：基于启发式的语义查询优化
- 作者：Sciore E.;Siegel M.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
20.Integrating courseware with lessonware (computers in education)

机译：将课件与课程整合（教育中的计算机）
- 作者：Osin L.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
21.A special distributed system in a general programming environment

机译：一般编程环境中的特殊分布式系统
- 作者：Heilper A.;Marberg J.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
22.One-page book embedding under vertex-neighborhood constraints

机译：在顶点邻域约束下嵌入一页的书
- 作者：Moran S.;Wolfsthal Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
23.Artificial intelligence and design

机译：人工智能设计
- 作者：Amarel S.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
24.A parallel implementation of equational programming

机译：公式编程的平行实施
- 作者：Dershowitz N.;Lindenstrauss N.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
25.Overlapping B+trees for temporal data

机译：重叠B +树木用于时间数据
- 作者：Manolopoulos Y.;Kapetanakis G.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
26.Access control requirements for environmental information knowledge base systems

机译：访问环境信息知识库系统的控制要求
- 作者：Steinke G.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
27.A temporal proof methodology for reactive systems

机译：反应系统的时间证明方法
- 作者：Manna Z.;Pnueli A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
28.The current status of copyright and patent protection for computer software

机译：计算机软件的版权和专利保护现状
- 作者：Brown J.E.;Clapes A.L.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
29.Concurrency control in distributed databases through dummy locks

机译：通过虚拟锁分布式数据库中的并发控制
- 作者：Halici U.;Dogac A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
30.A general framework of constraint propagation for diagnostic systems

机译：诊断系统的约束传播框架
- 作者：Tsuchiya R.;Ogino T.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
31.Parallelism in transport oriented communication protocols

机译：运输导向通信协议的平行性
- 作者：Zitterbart M.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
32.Reverse software engineering of concurrent programs

机译：反向软件工程的并发程序
- 作者：Ge X.;Prywes N.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
33.Expert Design Advisor

机译：专家设计顾问
- 作者：Howell S.L.;Hwang P.Q.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
34.Programming the data structure accelerator

机译：编程数据结构加速器
- 作者：Zippel R.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
35.Notes on real-time distributed database systems stability

机译：关于实时分布式数据库系统稳定性的注意事项
- 作者：Schreiber F.A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
36.Organizing for simplicity: the role of information technology

机译：为简单组织组织：信息技术的作用
- 作者：Rubin R.M.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
37.How to keep a dynamic distributive directed graph acyclic and yet grant all requests of edge additions

机译：如何保留动态分配的图形无循环，但授予所有边缘添加请求
- 作者：Even S.;Pnueli Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
38.Experience using a dynamic adaptive hidden-surface removal algorithm for volume rendering within a MIMD architecture

机译：在MIMD架构中使用动态自适应隐藏表面清除算法的体积渲染体验
- 作者：Stytz M.R.;Frieder O.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
39.Choosing the best storage technique for a main memory database system

机译：选择主存储器数据库系统的最佳存储技术
- 作者：Gruenwald L.;Eich M.H.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
40.Optimal evaluation of vector expression trees

机译：矢量表达树的最佳评价
- 作者：Rauber T.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
41.An overview of intelligent vehicle-highway systems (IVHS) activities in North America

机译：北美智能车辆高速公路系统（IVHS）活动概述
- 作者：Chen K.;Galler B.A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
42.Information technology risk management

机译：信息技术风险管理
- 作者：Ginzberg M.J.;Moulton R.T.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
43.Trends in using computers in education

机译：在教育中使用计算机的趋势
- 作者：Charp S.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
44.A study on the recognition of the Korean monothongs using artificial neural net models

机译：用人工神经网络模型识别韩国单洞的研究
- 作者：Kiseok Kim;Inbum Kim;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
45.Reasoning in CSP via the HOL theorem prover

机译：通过HOL定理箴言推理CSP
- 作者：Camilleri A.J.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
46.Algorithms and optic implementation for reconfigurable networks

机译：可重新配置网络的算法和视镜实现
- 作者：Schuster A.;Ben-Asher Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
47.Proceedings of the 5th Jerusalem Conference on Information Technology (JCIT). Next Decade in Information Technology (Cat. No.90TH0326-9)

机译：第五届信息技术（JCIT）第5届耶路撒冷会议的诉讼。下十年信息技术（猫。No.90th0326-9）
- 作者：Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
48.A fast NC algorithm to recognize P/sub 4/-reducible graphs

机译：快速NC算法识别p / sub 4 / -reducible图形
- 作者：Lin R.;Olariu S.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
49.A compumetrical approach to summarize benchmark results

机译：一个复制方法来总结基准结果
- 作者：Igbaria M.;Silver M.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
50.Learning to recognize reusable software modules using an inductive classification system

机译：学习使用归纳分类系统识别可重用的软件模块
- 作者：Esteva J.C.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
51.Software cost estimation models

机译：软件成本估算模型
- 作者：Heemstra F.J.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
52.Generating explanations from question paths

机译：从问题路径生成解释
- 作者：Sarantinos E.;Johnson P.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
53.Multidatabase performance evaluation

机译：多立方酶绩效评估
- 作者：Breitbart Y.;Morales H.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
54.The making of an information retrieval interface

机译：制作信息检索界面
- 作者：Meadow C.T.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
55.Software uncertainty and the role of CASE in its minimisation and control

机译：软件不确定性和案例在最小化和控制中的作用
- 作者：Lehman M.M.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
56.Servers, processes and subprocesses: a critical evaluation

机译：服务器，进程和子过程：一个关键评估
- 作者：Berbers Y.;Verbaeten P.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
57.An interleaving model for real-time

机译：实时的交错模型
- 作者：Henzinger T.A.;Manna Z.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
58.Electronic data interchange

机译：电子数据交换
- 作者：Kreuwels C.M.A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
59.File system design using large memories

机译：使用大存储器的文件系统设计
- 作者：Staelin C.;Garcia-Molina H.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
60.Some simple models of CASE tool integration

机译：一些简单的案例工具集成模型
- 作者：Lewis G.R.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
61.Evaluation and comparison of text-manipulation systems

机译：文本操纵系统的评估与比较
- 作者：Yovev C.S.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
62.Automated retrieval of consistent documentation from requirement analysis to program codes for software maintenance

机译：从需求分析到软件维护的程序代码自动检索一致的文档
- 作者：Shun-Tzu Tsai;Chien-Chiao Yang;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
63.An efficient organization for large, network-based multicomputer systems

机译：基于大型网络的多色系统的高效组织
- 作者：Scheidig H.;Schneider M.F.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
64.COPYCAT: a system for the distribution of copyright cataloging information

机译：CopyCAT：用于分发版权编目信息的系统
- 作者：Turner P.A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
65.Bergate-a system for interconnecting local area networks via broadband ISDN

机译：Bergate-A通过宽带ISDN互连局域网的系统
- 作者：Gavras A.;Butscher B.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
66.A benchmark to scale behaviorally object-oriented database systems

机译：扩展到行为面向对象的数据库系统的基准测试
- 作者：Kemper A.;Chriesten J.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
67.Desktop research-information management for the scholar

机译：学者的桌面研究信息管理
- 作者：Rosenberg V.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
68.Knowledge support for information system design

机译：知识支持信息系统设计
- 作者：Grosz G.;Rolland C.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
69.Location of checkpoints in fault-tolerant software

机译：容错软件中检查点的位置
- 作者：Saglietti F.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
70.What is an inference rule?

机译：什么是推理规则？
- 作者：Fagin R.;Halpern J.Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
71.A combinatorial approach to temporal reasoning

机译：时间推理的组合方法
- 作者：Belfer A.;Golumbic M.C.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
72.The computability of architectural design

机译：建筑设计的可计算性
- 作者：Kalay Y.E.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
73.Methods and tools for modelling the behaviour of information-transport ports in distributed software configurations

机译：用于在分布式软件配置中建模信息传输端口行为的方法和工具
- 作者：Pakstas A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
74.Deadlock-avoidance in a page-parallel rasterizer

机译：在页面并行光栅化器中避免死锁
- 作者：Birk Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
75.Evaluation and improvement of query processing methods in wide and local area network

机译：广泛和局域网查询处理方法的评估与改进
- 作者：Krolikowski Z.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
76.Wasted resources in gang scheduling

机译：浪费在帮派调度中的资源
- 作者：Feitelson D.G.;Rudolph L.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
77.Televisualization: on the role of high-speed communication in the visualization of science

机译：电视化：高速通信在科学可视化中的作用
- 作者：Amitai D.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
78.An interleaved file system for a highly distributed MIMD architecture

机译：用于高度分布式MIMD架构的交错文件系统
- 作者：Farber Y.;Barak A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
79.Computer assisted instruction and students' social orientations

机译：计算机辅助教学和学生的社会方向
- 作者：Katz Y.J.;Offir B.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
80.Xputers: very high throughput by innovative computing principles

机译：电脑：通过创新计算原则的吞吐量很高
- 作者：Hartenstein R.W.;Hirschbiel A.G.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
81.Using information technology

机译：使用信息技术
- 作者：Wohl A.D.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
82.Mutual exclusion revisited

机译：重新审视互斥
- 作者：Szymanski B.K.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
83.The road to enterprise excellence

机译：企业卓越之路
- 作者：Shore E.B.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
84.Road transport informatics in Europe-a summary of current developments

机译：欧洲的道路运输信息学 - 当前发展综述
- 作者：Catling I.;McQueen B.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
85.The hypernode model and its associated query language

机译：超数据模型及其相关查询语言
- 作者：Levene M.;Poulovassilis A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
86.TAPIOCA: OCCAM rapid prototyping from Petri-net

机译：Tapioca：来自Petri-net的冬季快速原型设计
- 作者：Breant F.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
87.Mapping data schemas to MDBMS architecture layers

机译：将数据模式映射到MDBMS体系结构图层
- 作者：Durr M.;Lang S.M.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
88.Superposition and fairness in reactive system refinement

机译：反应系统改进中的叠加和公平
- 作者：Back R.J.R.;Kurki-Suonio R.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
89.Safety first (data security)

机译：安全第一（数据安全）
- 作者：Greene R.E.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
90.A simulation generator for multiprocessor systems

机译：用于多处理器系统的仿真发生器
- 作者：Israeli A.;Nissim T.A.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年
91.Interacting processes: a language for coordinated distributed programming

机译：交互流程：用于协调分布式编程的语言
- 作者：Francez N.;Forman I.R.;Institute of Electric and Electronic Engineer
- 会议名称：《Jerusalem Conference on Information Technology》 | 1990年