掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
World computer congress
World computer congress
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Data Sharing in Disconnected Environment by 'Modification Object System' and its Speed for Information Spreading
机译:
“修改对象系统”及其信息扩展速度在断开的环境中共享数据共享
作者:
Saneyasu Yamaguchi
;
Hitoshi Aida
;
Tadap Saito
会议名称:
《World computer congress》
|
2000年
关键词:
java;
disconnected operation;
mobile computing;
ORB;
OOP;
2.
Model Checking Algorithm for Partition Logic
机译:
分区逻辑模型检查算法
作者:
Yija Chen
;
Enshao Shen
;
Yongqiang Sun
会议名称:
《World computer congress》
|
2000年
3.
Software Process Models: Structure and Challenges
机译:
软件过程模型:结构与挑战
作者:
Gerhard Chroust
会议名称:
《World computer congress》
|
2000年
关键词:
software process model;
process fragment;
submodels;
model calculus;
software engineering;
CASE;
tailoring;
4.
SOMT-based Analysis and Design of CDMA Mobile Communication System
机译:
基于SOMT的CDMA移动通信系统分析与设计
作者:
Ye Wen
;
Du Ying
;
Zhou Feng
;
DengWei
会议名称:
《World computer congress》
|
2000年
5.
Hierarchical graph models and visual processing
机译:
分层图模型和视觉处理
作者:
Victor N. Kasyanov
;
Ivan Al Lisitsyn
会议名称:
《World computer congress》
|
2000年
关键词:
hierarchical graph;
graph drawing;
visual processing;
6.
French Initiatives in ICT RD
机译:
ICT研发的法国举措
作者:
Gerard Roucairol
会议名称:
《World computer congress》
|
2000年
7.
Formal specification and automatic validation of interactive software
机译:
交互式软件的正式规范和自动验证
作者:
Mourad OULD
会议名称:
《World computer congress》
|
2000年
关键词:
user interface system;
human computer interaction;
graphical user interface;
formal models of interactive systems;
verification;
test;
lustre;
8.
An Agent Architecture for Method and Tool Brokering
机译:
用于方法和工具经纪的代理体系结构
作者:
Hans-Ludwig Hausen
会议名称:
《World computer congress》
|
2000年
9.
Case tool for multimedia complex objects
机译:
多媒体复杂对象的案例工具
作者:
I. Uros
;
D. Starcevic
;
T. Uros
;
V. Pantovic
会议名称:
《World computer congress》
|
2000年
10.
Estimating Web Development Effort using Analogy
机译:
使用类比估算Web开发工作
作者:
Emilia Mendes
会议名称:
《World computer congress》
|
2000年
11.
Syntactic Processing of Diagrams by Graph Grammars
机译:
图语法的句法处理
作者:
tomokazu Airta
;
Koyonobu Tomiyama
;
Takeo Yaku
;
Youzou Miyadera
;
Kimio Suigta
;
Kensei Tsuchida
会议名称:
《World computer congress》
|
2000年
关键词:
software visualization;
software engineering tools;
environment;
graph grammars;
tabular forms;
12.
Coping with Changes: Adaptive Process Management with Higher-Order Object Nets
机译:
应对更改:具有高阶对象网的自适应过程管理
作者:
Yanbo Han
;
Herbert Weber
会议名称:
《World computer congress》
|
2000年
关键词:
higher-order object nets (HOON);
adaptive process management;
workflow technology;
workflow framework;
information systems engineering;
business objects;
software agents;
13.
Developing Consensus on the Software Engineering Body of Knowledge
机译:
开发关于软件工程知识体系的共识
作者:
Pierre Bourque
;
Robert Dupuis
;
Alain Abran
;
James W. Moore
;
Leonard Tripp
会议名称:
《World computer congress》
|
2000年
关键词:
software engineering;
software engienering profession;
body of knowledge;
14.
The Challenges of Massive Information System
机译:
大规模信息系统的挑战
作者:
Li Wei
会议名称:
《World computer congress》
|
2000年
关键词:
intenret;
massive information system;
information infrastructure;
structural scalability;
data intensive application;
distribution;
heterogeneous;
collaborative multimedia systems;
mobile computing;
cooperation;
coordination;
software architecture;
computational model;
information physics;
15.
A New Software Architecture in Designing Multiprotocol Router
机译:
设计多协议路由器时的新软件架构
作者:
Tang Kai
;
Xu Xin
;
Shao JunLi
会议名称:
《World computer congress》
|
2000年
关键词:
router;
thread software architecture;
16.
Verification-Friendly Specification of Distributed Systems
机译:
验证友好的分布式系统规范
作者:
Pertti Kellomaki
会议名称:
《World computer congress》
|
2000年
17.
A Distributed Architecture for Process-sensitive Engineering Environments
机译:
处理敏感工程环境的分布式架构
作者:
Shen Beijun
;
Gu Chunhua
;
Chen Cheng
;
Ju Dehua
会议名称:
《World computer congress》
|
2000年
18.
XML based Component Specification Repository
机译:
基于XML的组件规范存储库
作者:
Chidon Ahn
;
Sangkil Kim
;
Seunggeun Lee
;
Changjoing Wang
会议名称:
《World computer congress》
|
2000年
19.
BOOTSTRAP 3.0 - A European Software Process Assessment Methodology based on CMM and SPICE
机译:
Bootstrap 3.0 - 基于CMM和Spice的欧洲软件过程评估方法
作者:
Hong Guo
;
Graham King
;
margaret Ross
;
Geoff Staples
会议名称:
《World computer congress》
|
2000年
20.
XP and Object-Oriented Design Evolution
机译:
XP和面向对象的设计演变
作者:
Wei Li
;
Mohammad Alshayeb
;
John Talburt
会议名称:
《World computer congress》
|
2000年
21.
A Checkpointing Scheme for Internet-based Computing Systems
机译:
基于互联网的计算系统检查点方案
作者:
Xinfeng Ye
;
New Zealand
会议名称:
《World computer congress》
|
2000年
22.
Agent-Oriented Software Analysis and Design
机译:
面向代理的软件分析和设计
作者:
Wenpin Jiao
;
Zhongzhi Shi
会议名称:
《World computer congress》
|
2000年
23.
Path Grouping and Data Dependence Relaxation for Software Pipelining
机译:
用于软件流水线的路径分组和数据依赖性放松
作者:
Rong Hong-bo
;
Tang Zhi-zhong
会议名称:
《World computer congress》
|
2000年
关键词:
instruction-level parallelism;
code scheduling;
software pipelining;
probability;
data dependnece;
24.
Verification of coded reusable software components
机译:
验证编码可重用软件组件
作者:
Zhang Weishi
;
Li Guanyu
会议名称:
《World computer congress》
|
2000年
25.
Quick Button Selection with Eye Gazing for General GUI Environments
机译:
快速按钮选择,眼注视普通GUI环境
作者:
Masatake Yamato
;
Akito Monden
;
Ken-ichi Matsumoto
;
Katsuro Inoue
;
Koji Torii
会议名称:
《World computer congress》
|
2000年
26.
Design and Implementation of a UIMS for Component-based GUI Development
机译:
基于组件的GUI开发的UIM的设计与实现
作者:
Yang Li
;
Zhiwei Guan
;
Hongan Wang
;
Qingyi Hua
;
Guozhong Dai
会议名称:
《World computer congress》
|
2000年
27.
Predicting Performance of Parallel Applications Based on Distributed Shared Memory System
机译:
基于分布式共享内存系统的并行应用程序预测性能
作者:
Wei Yuan
;
Long Xiang
;
Li Wei
会议名称:
《World computer congress》
|
2000年
28.
Architecture-centric Software Development
机译:
以体系结构为中心的软件开发
作者:
Li Jie
;
Hao AlLi
;
Mai ZhongFan
会议名称:
《World computer congress》
|
2000年
关键词:
software architecture;
development process;
component;
29.
Bin Packing Problem with Start-up Cosntraint
机译:
垃圾箱问题与启动约束
作者:
Gu Xiao-Dong
;
Xu Yin-Long
;
Chen Guo-Liang
会议名称:
《World computer congress》
|
2000年
关键词:
bin packing problem;
combinatorial optimization;
approximation algorithm;
asymptotic worst-case performance ratio;
30.
Panel II: eCommerce: Challenges and opportunities for Software Technology
机译:
专家组:电子商务:软件技术的挑战和机遇
作者:
Dr. Andy Lee
会议名称:
《World computer congress》
|
2000年
31.
From Continuous Specification to Discrete Design
机译:
从连续规范到离散设计
作者:
Francois Siewe
;
Dang Van Hung
会议名称:
《World computer congress》
|
2000年
关键词:
continuous specification;
discrete design;
real-time distributed systems;
verification;
32.
Storage System Hierarchy and Process Data Storage Model
机译:
存储系统层次结构和过程数据存储模型
作者:
Liu Fuyan
;
You Jinyuan
会议名称:
《World computer congress》
|
2000年
33.
A Loop Optimization Technique Based on Quasi-Invariance
机译:
一种基于准不变性的环路优化技术
作者:
Litong Song
;
Yoshihiko Futamura
;
Robert Gluck
;
Zhenjiang Hu
会议名称:
《World computer congress》
|
2000年
34.
Normalizing Object-Oriented Data Schema
机译:
归一化面向对象的数据模式
作者:
Wu Yonghui
;
Zhou Aoying
会议名称:
《World computer congress》
|
2000年
35.
Iconic Interfaces For Kids On The Internet
机译:
互联网上儿童的标志性接口
作者:
Lorna Uden
;
Alan Dix
会议名称:
《World computer congress》
|
2000年
关键词:
primary education;
internet;
search tools;
iconic interface;
metaphor;
36.
Ambiguity Measures in Requirements Engineering
机译:
需求工程中的模棱两可措施
作者:
Luisa Mich
;
Roberto Garigliano
会议名称:
《World computer congress》
|
2000年
关键词:
requirements engineering;
ambiguity levels;
natural language processing;
37.
HI-PLAN and Little-JIL: a Study of Contrast between Two Process Languages
机译:
Hi-Plan和Little-Jil:两种过程语言之间对比的研究
作者:
Hyungwon Lee
;
Leon J. Osterweil
会议名称:
《World computer congress》
|
2000年
38.
A methodology for the design of collaborative services
机译:
协作服务设计的方法
作者:
Thierry Villemur
;
Khalil Drira
会议名称:
《World computer congress》
|
2000年
关键词:
formal software design;
graph grammars;
statecharts;
group membership algorithms;
JAVA actors;
39.
Open Bisimulation for Value-Passing Calculi
机译:
开放的有价值的计算的双刺激
作者:
Zhoujun Li
;
Huowang Chen
会议名称:
《World computer congress》
|
2000年
关键词:
process algebra;
value-passing calculi;
open bisimulation;
40.
A scheduling algorithm considering latency time on a shared-memory machine
机译:
考虑共享内存机器延迟时间的调度算法
作者:
Mauricio Solar
;
Marc Feeley
会议名称:
《World computer congress》
|
2000年
41.
Tracking Progress in Software Projects and Version Control
机译:
跟踪软件项目和版本控制的进度
作者:
Zorica Mihajlovic
;
Dusan Velasevic
会议名称:
《World computer congress》
|
2000年
42.
Component Cosntruction Model and Interactive Computation Semantics for Object Systems
机译:
对象系统的组件施工模型与交互式计算语义
作者:
Qian Jun
;
Huang Tao
;
Feng Yu-lin
会议名称:
《World computer congress》
|
2000年
关键词:
object system;
component construction model;
S/R calculus;
concurrency;
interaction;
43.
SOZL language: A new software development methodology
机译:
SOZL语言:一种新的软件开发方法
作者:
Gao Xiaolei
;
Miao Huaikou
;
Chen Yihai
会议名称:
《World computer congress》
|
2000年
关键词:
SOZL;
Z specification;
structured methodology;
object-oriented methodology;
PDFD;
predicate process;
44.
Reuse with Design Patterns: Towards Pattern-Based Design
机译:
用设计模式重用:朝着基于模式的设计
作者:
Maria Smolarova
;
Pavol Navrat
会议名称:
《World computer congress》
|
2000年
45.
Compilation and distribution of state-machines using SPots
机译:
使用斑点的状态机的编译和分配
作者:
Yunming Wang
;
Jean-Pierre Talpin
;
Albert Benveniste
;
Paul Le Guernic
会议名称:
《World computer congress》
|
2000年
46.
A new test design method for requirement-based software testing
机译:
一种基于需求的软件测试的新测试设计方法
作者:
Mou Hu
会议名称:
《World computer congress》
|
2000年
关键词:
formal methods;
multiple-valued logic;
requirement-based software testing;
software engienering;
software validation;
verification;
47.
Combined Function and Trace Test
机译:
组合功能和跟踪测试
作者:
Sadegh Sadeghipour
;
Harbhajan Singh
会议名称:
《World computer congress》
|
2000年
48.
Design and Implementation of the Foraml Specification Acquisition System SAQ
机译:
形式规范采集系统DAQ的设计与实现
作者:
Dong Yunmei
;
Li Kaide
;
Chen Haiming
;
Hu Yongqian
;
Zhang Ruiling
;
Tang Ruqing
;
Wan Zhanyong
;
Chen Ziming
会议名称:
《World computer congress》
|
2000年
关键词:
formal specification;
acquisition;
verification;
grammar learning algorithm;
recursive function evaluation;
49.
Towads a calculus of distributed resources and scopes
机译:
迈向分布式资源和范围的微积分
作者:
Xu WANG
会议名称:
《World computer congress》
|
2000年
关键词:
mobile agent;
resource;
location;
scope;
formal language;
50.
Secure Identity-Based Access Control for Network-Attached Disk Drives
机译:
用于网络连接的磁盘驱动器的安全基于身份的访问控制
作者:
Qiang Li
;
May Allam
会议名称:
《World computer congress》
|
2000年
51.
Software Evaluation with Consideration to Type of Users
机译:
考虑到用户类型的软件评估
作者:
Tan Eng Chong
会议名称:
《World computer congress》
|
2000年
52.
On Accessible Properties of Structure A(E)
机译:
关于结构A(e)的无障碍属性
作者:
Zhang Zaiyue
;
Chen Ling
会议名称:
《World computer congress》
|
2000年
关键词:
asymptotically dominating;
effective computable function;
accessible property;
53.
How Agent Behaves in Multi-agent System
机译:
代理在多代理系统中的行为方式
作者:
Mao Xin-Jun
;
Wang Huai-Ming
;
Chen Yue-Xin
;
Liu Feng-Qi
会议名称:
《World computer congress》
|
2000年
关键词:
agent;
intentional stance;
belief;
intention;
capability;
commitment;
54.
CCE/MA: Implementation of A Collaborative Computing Environment based on Multi-Agent
机译:
CCE / MA:基于多代理的协作计算环境实现
作者:
Bo Yang
;
Qinghua Wang
;
Shounting Qu
;
Jiwen Dong
会议名称:
《World computer congress》
|
2000年
55.
Project and realization for windows'95 processing platform in different editing directions of multi-languages
机译:
不同编辑多语言的Windows'95处理平台的项目与实现
作者:
Wushour. Slamu
;
Iliham. Yasin
会议名称:
《World computer congress》
|
2000年
关键词:
multi-languages;
window'95;
information process;
zero-width expanded code;
national-languages processing system;
56.
Using a Formal Method to Verify the Temporal Semantics of SMIL Documents
机译:
使用正式方法来验证SMIL文档的时间语义
作者:
P.N.M. Sampaio
;
C.A.S. Santos
;
J.P. Courtiat
会议名称:
《World computer congress》
|
2000年
关键词:
formal methods;
LOTOS;
RT-LOTOS;
interactive multimedia documents;
SMIL;
57.
Using a reference framework for software systems research
机译:
使用用于软件系统研究的参考框架
作者:
Annette L. Steenkamp
会议名称:
《World computer congress》
|
2000年
58.
Software Architecture Evolution by Multiset Transformation
机译:
多车型转换的软件架构演变
作者:
Chun Yuan
;
Yiyun Chen
会议名称:
《World computer congress》
|
2000年
关键词:
architecture evolution;
multiset transformation;
hierarchical architecture;
59.
Bandwidth Issues With ATM Technology
机译:
ATM技术的带宽问题
作者:
Rakesh Mohan Bhatt
会议名称:
《World computer congress》
|
2000年
关键词:
ATM;
ISDN;
QoS;
60.
Comparative Metrics in Procedure-Oriented and Object-Oriented Software Implementation of a Simple Single-Input-Single-Output Digital Process Control Problem in Educational Environment
机译:
面向程序化和面向对象软件实现的比较度量,在教育环境中简单的单次输入单输出数字过程控制问题
作者:
Boyka Gradinarova
会议名称:
《World computer congress》
|
2000年
关键词:
digital process control problem;
elementary modular unit;
total number of implemented functions/methods;
depth of inheritance (DOH);
complexity measure;
Quantiative evaluation of quality;
61.
Java as Distributed Object Glue
机译:
Java作为分布式物体胶水
作者:
Konstantinos Raptis
;
Diomidis Spinellis
;
Sokratis Katsikas
会议名称:
《World computer congress》
|
2000年
关键词:
software objects;
components;
middleware;
bridge;
mediator;
62.
A COTS Based Product Line Architecture for Generating Design Editors
机译:
基于COTS的产品线架构,用于生成设计编辑器
作者:
Robert M. Balzer
;
Neil M. Goldman
会议名称:
《World computer congress》
|
2000年
63.
DSEW-R: a reactive multi-agent environment for web-based simulation
机译:
DSEW-R:基于Web的模拟的反应多代理环境
作者:
Dang Gang
;
Wang Xiaoqing
;
Jin Shiyao
会议名称:
《World computer congress》
|
2000年
64.
Applying theory to practice Airworthy software measured and analysed
机译:
应用理论练习可适航软件测量和分析
作者:
Ernst Kesseler
会议名称:
《World computer congress》
|
2000年
65.
A Simple and Improved Approximation Algorithm for Scheduling Multiprocessor-Jobs on 3-Processor Systems
机译:
一种简单而改进的三处理器系统中的多处理器作业的近似算法
作者:
Jingui Huang
;
Jianer Chen
;
Songqiao Chen
会议名称:
《World computer congress》
|
2000年
66.
Design and Implementation of A Hard Real-Time Communication Protocol
机译:
硬实时通信协议的设计与实现
作者:
Wang Zhiping
;
Xiong Guangze
;
Zhou Wanlei
会议名称:
《World computer congress》
|
2000年
67.
Data Mining Applications on large RSI Data
机译:
大型RSI数据的数据挖掘应用程序
作者:
Qin Ding
;
William Perrizo
;
Kaushik Das
;
Qinghua Zou
会议名称:
《World computer congress》
|
2000年
关键词:
data mining;
remotely sensed imagery;
association rule mining;
classification;
clustering;
68.
An Empirical and Theoretical Analysis of the Speed and Error-Proneness of Some User Interface Widgets
机译:
一些用户界面小部件的速度和错误信息的实证与理论分析
作者:
Jaakko Hakulinen
;
Jorma Sajaniemi
会议名称:
《World computer congress》
|
2000年
关键词:
graphical user interface;
widget speed;
widget errors;
fitts' law;
69.
An Approach to Document Structure Transformations
机译:
一种文档结构转换的方法
作者:
Paula Leinonen
;
Eila Kuikka
;
Martti Penttonen
会议名称:
《World computer congress》
|
2000年
关键词:
structured document;
structure transformation;
transducer;
70.
A Semantics for Verilog using Duration Calculus
机译:
使用持续时间微积分的Verilog语义
作者:
Zhu Huibiao
;
He Jifeng
会议名称:
《World computer congress》
|
2000年
71.
An Object-Oriented Framework for Testing Software and its Application to Testing a Real-Time Safety-Critical System
机译:
一种面向对象的测试软件框架及其应用,以测试实时安全关键系统
作者:
W. T. Tsai
;
Baisu Huang
;
Raymond Paul
;
Mustafa Poonawala
会议名称:
《World computer congress》
|
2000年
关键词:
software reusability;
testing frameworks;
object-oriented techniques.;
72.
Research on the New Mechanism of Concurrency Control in CSCW
机译:
CSCW并发控制新机制研究
作者:
Chen Qingzhang
;
Lin Jianming
;
Zhao Xinjian
;
Hu Tongsen
会议名称:
《World computer congress》
|
2000年
关键词:
CSCW;
concurrency control;
network;
73.
Distributed Object Simulation of Energy Systems
机译:
能量系统的分布式对象仿真
作者:
Zhiwu Xie
;
ming Su
;
Silie Weng
会议名称:
《World computer congress》
|
2000年
关键词:
object-oriented programming;
CORBA;
computer simulation;
energy system;
74.
Object Integrity while Allowing Aliasing
机译:
对象完整性,同时允许别名
作者:
Harri Hakonen
;
Ville Leppanen
;
Tapio Salakoski
会议名称:
《World computer congress》
|
2000年
75.
An New Software Architecture Description Language
机译:
一种新的软件架构描述语言
作者:
Zhou Lixin
;
Wu Zhaohui
;
Pan Yunhe
会议名称:
《World computer congress》
|
2000年
76.
A Source-routing Based Real-time Multi-constrained Multicast Routing Optimal Control Algorithm
机译:
基于源路由的实时多约束多播路由最优控制算法
作者:
Zhao Jian
;
Wu Jieyi
会议名称:
《World computer congress》
|
2000年
关键词:
quality of service;
multi-constrained metrics;
admission control;
path selection;
multicast routing;
77.
Collaboration Space and Collaboration Support
机译:
协作空间和协作支持
作者:
Baojian Li
;
Guangzhou zheng
;
Zongkai Lin
会议名称:
《World computer congress》
|
2000年
关键词:
CSCW;
groupware;
collaboration space;
78.
Relational Inference-based Formalization of Detection Method for Structure Clash between Program Input and Output Data
机译:
基于关系的基于推断的程序输入和输出数据之间的结构冲突的检测方法形式化
作者:
Lukman Efendy
;
Hashimoto Masaaki
;
Hirota Toyohiko
会议名称:
《World computer congress》
|
2000年
79.
Consistency Management of Software Requirements Specification based on Dempster Shafer's Theory
机译:
基于Dempster&Shafer理论的软件要求规范的一致性管理
作者:
Atsushi Ohnishi
;
Hideaki Sugimoto
会议名称:
《World computer congress》
|
2000年
80.
Software Architecture and Software Engineering
机译:
软件架构和软件工程
作者:
Dewayne E. Perry
会议名称:
《World computer congress》
|
2000年
81.
A Theory of Testing High-Level Petri Nets
机译:
一种测试高级培养网的理论
作者:
Hong Zhu
;
Xudong He
会议名称:
《World computer congress》
|
2000年
82.
A new actor stereotype to deal with temporalsituations
机译:
一种新的演员刻板印象来处理时间情况
作者:
Moncef Bari
;
Ghislain Levesque
;
Ahmed Seffah
会议名称:
《World computer congress》
|
2000年
83.
Programming Graphical User Interfaces in Chinese with Ease
机译:
轻松地编程图形用户界面
作者:
Chuan-Chieh Jung
;
Hong-Nian Chen
;
Jaspher Wang
;
Y. S. Kuo
会议名称:
《World computer congress》
|
2000年
84.
Discovering Classes through Enterprise Process Modeling
机译:
通过企业流程建模发现课程
作者:
Jin Maozhong
;
Li Gang
;
Liu Chao
会议名称:
《World computer congress》
|
2000年
85.
An EmpiricalEvaluation of FiveInteraction Modes for Layout System
机译:
布局系统五互换模式的仿真评价
作者:
Zhiwei Guan
;
Yang Li
;
Hongan Wang
;
Guozhong Dai
会议名称:
《World computer congress》
|
2000年
86.
An Algorithm of Automatic Semantic Class Tagging
机译:
一种自动语义类标记的算法
作者:
Qi Xuan
;
Wang Ting
;
Chen Huowang
会议名称:
《World computer congress》
|
2000年
关键词:
semantic class;
tagging;
87.
A Flexible Scheduling Algorithm for Real-Time Tasks with Resource Constraints
机译:
具有资源约束的实时任务的灵活调度算法
作者:
Maryline Silly
会议名称:
《World computer congress》
|
2000年
关键词:
real-time systems;
scheduler;
dynamic priodic;
aperiodic tasks;
resource constraints;
88.
Proving safety of authentication protocols: a minimal approach
机译:
证明身份验证协议的安全性:最小的方法
作者:
Chris George
会议名称:
《World computer congress》
|
2000年
89.
A Linear Temporal Logic with Continuous Semantics for Hybrid Systems
机译:
具有连续语义的线性时间逻辑,用于混合系统
作者:
LI Guangyuan
;
TANG Zhisong
会议名称:
《World computer congress》
|
2000年
90.
An Approach to Reasoning About Z Specifications Based on the Tactic Language
机译:
基于策略语言推理Z规范的方法
作者:
Miao Huaikou
;
Gao Xiaolei
;
Chen Yihai
会议名称:
《World computer congress》
|
2000年
91.
The Spatial Database of the 3D Netowrk Based on Connectivity and Proximity
机译:
基于连接和接近的3D网络空间数据库
作者:
Yong Zhang
;
Lizhu Zhou
;
Jun Chen
会议名称:
《World computer congress》
|
2000年
92.
An Efficient Restart Strategy of Local Optimization for the TSP
机译:
一个有效的TSP本地优化重启策略
作者:
Xie Xing
;
Zhou Zhi
;
Chen Guo-Liang
会议名称:
《World computer congress》
|
2000年
关键词:
TSP;
local optimization;
restart strategy;
93.
Research and Application on Key Technologies of Component-Based Software Engineering
机译:
基于组件的软件工程关键技术的研究与应用
作者:
Fu Shao-yong
;
Liu Ji-ren
;
Tian Wen-hu
会议名称:
《World computer congress》
|
2000年
关键词:
component-based software engineering;
component description;
software architecture;
ADL;
software verification;
dynamic reconfiguraion;
94.
J2EE andJava Application Server-A Practitioner's Perspective
机译:
J2EE和Java应用程序服务器 - 从业者的角度
作者:
Ruan Tong
;
Wei Jun
;
Li Jing
会议名称:
《World computer congress》
|
2000年
95.
Formalization of Requirement Engineering - Combining UML and Type Theory
机译:
要求工程的形式化 - 结合UML和类型理论
作者:
Hui Jiang
;
Dong Lin
;
Xiren Xie
会议名称:
《World computer congress》
|
2000年
96.
Structure-Based Automatic Extraction of the Program Heterogeneity
机译:
基于结构的自动提取程序异质性
作者:
Guosun Zeng
;
Xinda Lu
;
Liansun Zeng
会议名称:
《World computer congress》
|
2000年
97.
Perceived maturity of IS departments and the deployment of systems development methodologies
机译:
感知到的成熟是部门和系统发展方法的部署
作者:
Magda Huisman
;
Juhani Iivari
会议名称:
《World computer congress》
|
2000年
98.
Livelocks, Fairness and Protocol Verification
机译:
活锁,公平和协议验证
作者:
Antti Puhakka
;
Antti Valmari
会议名称:
《World computer congress》
|
2000年
关键词:
verification;
tool support;
progress;
fairness;
99.
From Multi-Address Space to Single Address Space and To No Address Space
机译:
从多地址空间到单个地址空间,没有地址空间
作者:
Liu Fuyan
;
You Jinyuan
会议名称:
《World computer congress》
|
2000年
100.
Composing Software Components at Architectural Level
机译:
在架构级别撰写软件组件
作者:
Hong Mei
;
Jichuan Chang
;
Fuqing Yang
会议名称:
《World computer congress》
|
2000年
关键词:
component-based development;
software architecture;
component composition;
意见反馈
回到顶部
回到首页