掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China
IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
软件
中国计算机用户
电脑入门
集成技术
软件导刊
智能系统学报
机器人
电脑开发与应用
卷宗
计算机研究与发展
更多>>
相关外文期刊
Digital creativity
Lotus Advisor
Computational biology and chemistry
Application Development Trends
Software Development
Computer networks
New review of information networking
Information systems security
Active Server Developer's Journal
Automatic Documentation and Mathematical Linguistics
更多>>
相关中文会议
辽宁省通信学会2014年通信网络与信息技术年会
第14届中国过程控制会议暨第3届全国技术过程的故障诊断与安全性学术会议
第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第5届全国普适计算学术会议(PCC2010)、第6届全国人机交互学术会议(CHCI2010)
中国(北京)信息化与工业化融合国际论坛暨2008中国嵌入式系统年会
第十六届中国神经网络大会(CNNC2006)暨首届中国人工免疫系统专题会议(CAISC06)
全国第九届空间及运动体控制技术学术会议
第二届中国政府电子政务论坛
第七届社会计算会议
中国仪器仪表学会第九届青年学术会议
2013年全国嵌入式仪表及系统技术学术会议
更多>>
相关外文会议
Earth observing systems XIII
20th Annual Symposium on Theoretical Aspects of Computer Science, Feb 27-Mar 1, 2003, Berlin, Germany
2016 IEEE/ACM 38th IEEE International Conference on Software Engineering
6th international conference on predictive models in software engineering 2010
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Advances in nonlinear speech processing
Proceedings of the 2nd international workshop on Distributed event-based systems
5th International Workshop on the Algorithmic Foundations of Robotics; 2002; Nice, France
2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing
Proceedings of the 1st international workshop on Data mining and audience intelligence for advertising
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
共
167
条结果
1.
Data Sharing in Disconnected Environment by 'Modification Object System' and its Speed for Information Spreading
机译:
“修改对象系统”在不连接环境中的数据共享及其信息传播速度
作者:
Saneyasu Yamaguchi
;
Hitoshi Aida
;
Tadap Saito
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
java;
disconnected operation;
mobile computing;
ORB;
OOP;
2.
Design and Implementation of a UIMS for Component-based GUI Development
机译:
用于基于组件的GUI开发的UIMS的设计和实现
作者:
Yang Li
;
Zhiwei Guan
;
Hongan Wang
;
Qingyi Hua
;
Guozhong Dai
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
3.
Design and Implementation of the Foraml Specification Acquisition System SAQ
机译:
正式规格获取系统SAQ的设计与实现
作者:
Dong Yunmei
;
Li Kaide
;
Chen Haiming
;
Hu Yongqian
;
Zhang Ruiling
;
Tang Ruqing
;
Wan Zhanyong
;
Chen Ziming
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
formal specification;
acquisition;
verification;
grammar learning algorithm;
recursive function evaluation;
4.
Design and Implementation of A Hard Real-Time Communication Protocol
机译:
硬实时通信协议的设计与实现
作者:
Wang Zhiping
;
Xiong Guangze
;
Zhou Wanlei
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
5.
Describing Consistent Component Extension in Refinement
机译:
在优化中描述一致的组件扩展
作者:
Winnie Qiu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
6.
Experimental Study on Scalability of Tools Utilizing Information Transparency
机译:
利用信息透明度的工具可扩展性的实验研究
作者:
Yoshikiyo Kato
;
William G. Griswold
;
Jimmy Yuan
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
aspect;
maintenance;
evolution;
modularity;
software tools;
7.
Software Evaluation with Consideration to Type of Users
机译:
考虑用户类型的软件评估
作者:
Tan Eng Chong
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
8.
Proving safety of authentication protocols: a minimal approach
机译:
验证身份验证协议的安全性:最小方法
作者:
Chris George
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
9.
SOZL language: A new software development methodology
机译:
SOZL语言:一种新的软件开发方法
作者:
Gao Xiaolei
;
Miao Huaikou
;
Chen Yihai
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
SOZL;
Z specification;
structured methodology;
object-oriented methodology;
PDFD;
predicate process;
10.
The improved association rules algorithm and application fields
机译:
改进的关联规则算法及应用领域
作者:
Chen Yan
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
large term sets;
confidence;
support;
association rules;
11.
Consistency Management of Software Requirements Specification based on Dempster Shafer's Theory
机译:
基于Dempster和Shafer理论的软件需求规范的一致性管理
作者:
Atsushi Ohnishi
;
Hideaki Sugimoto
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
12.
Open Bisimulation for Value-Passing Calculi
机译:
值传递计算的开放式双仿真
作者:
Zhoujun Li
;
Huowang Chen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
process algebra;
value-passing calculi;
open bisimulation;
13.
A scheduling algorithm considering latency time on a shared-memory machine
机译:
考虑共享内存机器上等待时间的调度算法
作者:
Mauricio Solar
;
Marc Feeley
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
14.
A Simple and Improved Approximation Algorithm for Scheduling Multiprocessor-Jobs on 3-Processor Systems
机译:
一种在三处理器系统上调度多处理器作业的简单改进的近似算法
作者:
Jingui Huang
;
Jianer Chen
;
Songqiao Chen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
15.
A Semantics for Verilog using Duration Calculus
机译:
使用持续时间微积分的Verilog语义
作者:
Zhu Huibiao
;
He Jifeng
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
16.
Accurate Binding Time Analysis for Imperative Languages
机译:
祈使语言的准确绑定时间分析
作者:
Wang Mingwen
;
Sun Yongqiang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
partial evaluation;
binding time analysis;
recur-redex tree;
imperative program;
17.
On Accessible Properties of Structure A(E)
机译:
关于结构A(E)的可访问性
作者:
Zhang Zaiyue
;
Chen Ling
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
asymptotically dominating;
effective computable function;
accessible property;
18.
On Refinement Calculus with Program Window Inference
机译:
利用程序窗口推理进行细化演算
作者:
Wang Yunfeng
;
Li Bixin
;
Pang Jun
;
Zha Ming
;
Zheng Guoliang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
formal development method;
data refinement calculus;
program window inference;
19.
A Real-time Data Model
机译:
实时数据模型
作者:
Yunsheng Liu
;
Lan Yi
;
Liping Yu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
20.
A Petri Net-Based Approach to Object-Oriented Class Testing
机译:
基于Petri网的面向对象类测试方法
作者:
Chun-Chia Wang
;
Wen C. Pai
;
Ding-Jung Chiang
;
Lun-Ping Hung
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
21.
A Method For Object Oriented Software Process Modeling
机译:
面向对象的软件过程建模方法
作者:
Li Jian
;
Shao Wei-zhong
;
Yang Fu-qing
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
software process;
process modeling;
object oriented;
22.
A Source-routing Based Real-time Multi-constrained Multicast Routing Optimal Control Algorithm
机译:
基于源路由的实时多约束组播路由最优控制算法
作者:
Zhao Jian
;
Wu Jieyi
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
quality of service;
multi-constrained metrics;
admission control;
path selection;
multicast routing;
23.
Research on the New Mechanism of Concurrency Control in CSCW
机译:
CSCW中并发控制新机制的研究
作者:
Chen Qingzhang
;
Lin Jianming
;
Zhao Xinjian
;
Hu Tongsen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
CSCW;
concurrency control;
network;
24.
Research and Implementation of a Domain Software Integration Framework
机译:
领域软件集成框架的研究与实现
作者:
Hu Changjun
;
Ge Jingguo
;
Yu hui
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
25.
Predicting Performance of Parallel Applications Based on Distributed Shared Memory System
机译:
基于分布式共享内存系统的并行应用程序性能预测
作者:
Wei Yuan
;
Long Xiang
;
Li Wei
会议名称:
《》
|
2000年
26.
Component Retrieval Based on Architecture for Reuse
机译:
基于架构的组件重用
作者:
Yoonsoo Lee
;
Kyungseob Yoon
;
Heechang Koh
;
Changjong Wang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
27.
Risk driven processimprovement
机译:
风险驱动的流程改进
作者:
Nenad Cus Babic
;
Jozsef Gyorkos
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
risk management;
risk taxonomy;
software process improvement;
CMM;
28.
Agent-Oriented Software Analysis and Design
机译:
面向代理的软件分析与设计
作者:
Wenpin Jiao
;
Zhongzhi Shi
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
29.
Normalizing Object-Oriented Data Schema
机译:
标准化面向对象的数据架构
作者:
Wu Yonghui
;
Zhou Aoying
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
30.
Research and Application on Key Technologies of Component-Based Software Engineering
机译:
基于组件的软件工程关键技术的研究与应用
作者:
Fu Shao-yong
;
Liu Ji-ren
;
Tian Wen-hu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
component-based software engineering;
component description;
software architecture;
ADL;
software verification;
dynamic reconfiguraion;
31.
Using a Formal Method to Verify the Temporal Semantics of SMIL Documents
机译:
使用形式化方法验证SMIL文档的时间语义
作者:
P.N.M. Sampaio
;
C.A.S. Santos
;
J.P. Courtiat
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
formal methods;
LOTOS;
RT-LOTOS;
interactive multimedia documents;
SMIL;
32.
Software Process Models: Structure and Challenges
机译:
软件过程模型:结构和挑战
作者:
Gerhard Chroust
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
software process model;
process fragment;
submodels;
model calculus;
software engineering;
CASE;
tailoring;
33.
A List Model for Storing XML Documents in RDBMS
机译:
在RDBMS中存储XML文档的列表模型
作者:
Weishuai Yang
;
Yulong Zhang
;
Shapping Li
;
Ming Guo
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
34.
Panel II: eCommerce: Challenges and opportunities for Software Technology
机译:
专题二:电子商务:软件技术的挑战与机遇
作者:
Dr. Andy Lee
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
35.
Software Architecture Evolution by Multiset Transformation
机译:
通过多集转换实现软件体系结构演进
作者:
Chun Yuan
;
Yiyun Chen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
architecture evolution;
multiset transformation;
hierarchical architecture;
36.
Software Architecture and Software Engineering
机译:
软件架构与软件工程
作者:
Dewayne E. Perry
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
37.
Software Metrics by Architectural Pattern Mining
机译:
基于架构模式挖掘的软件指标
作者:
Jukka Paakki
;
Anssi Karhinen
;
Juha Gustafsson
;
Lilli Nenonen
;
A. Inkeri Verkamo
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
software metrics;
software architecture;
design patterns;
anti-patterns;
constraint satisfaction;
38.
Software Creation: Systems Design of Integrated Environment for Automatic Software Design
机译:
软件创建:用于自动软件设计的集成环境的系统设计
作者:
Hui Chen
;
Hassan Abolhassani
;
Zenya Koono
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
39.
Supporting QoS-cosntrained Services in Heterogeneous Systems
机译:
在异构系统中支持QoS约束的服务
作者:
Li Zhongwen
;
Xiong Guangze
;
Liu Jinde
;
Guo Bing
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
40.
SOMT-based Analysis and Design of CDMA Mobile Communication System
机译:
基于SOMT的CDMA移动通信系统分析与设计
作者:
Ye Wen
;
Du Ying
;
Zhou Feng
;
DengWei
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
41.
The Impact fo Requirements Volatility on the Software Development Lifecycle
机译:
需求波动性对软件开发生命周期的影响
作者:
Didar Zowghi
;
Ray Offen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
42.
Verification-Friendly Specification of Distributed Systems
机译:
分布式系统的验证友好规范
作者:
Pertti Kellomaki
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
43.
Towads a calculus of distributed resources and scopes
机译:
走向分布式资源和范围的演算
作者:
Xu WANG
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
mobile agent;
resource;
location;
scope;
formal language;
44.
Tracking Progress in Software Projects and Version Control
机译:
跟踪软件项目和版本控制的进度
作者:
Zorica Mihajlovic
;
Dusan Velasevic
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
45.
The Spatial Database of the 3D Netowrk Based on Connectivity and Proximity
机译:
基于连通性和邻近性的3D网络空间数据库
作者:
Yong Zhang
;
Lizhu Zhou
;
Jun Chen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
46.
XP and Object-Oriented Design Evolution
机译:
XP和面向对象的设计演进
作者:
Wei Li
;
Mohammad Alshayeb
;
John Talburt
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
47.
Visualizing Scientific Disciplines on the Web
机译:
在网络上可视化科学学科
作者:
Chaomei Chen
;
Chiladda Chennawasin
;
Yue yu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
48.
Verification of coded reusable software components
机译:
验证编码的可重用软件组件
作者:
Zhang Weishi
;
Li Guanyu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
49.
Verifying Real-Time Joint Action Specifications Using Timed Automata
机译:
使用定时自动机验证实时联合动作规范
作者:
Timo Aaltonen
;
Mika Katara
;
Risto Pitkanen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
50.
An Empirical and Theoretical Analysis of the Speed and Error-Proneness of Some User Interface Widgets
机译:
一些用户界面小部件的速度和错误率的实证和理论分析
作者:
Jaakko Hakulinen
;
Jorma Sajaniemi
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
graphical user interface;
widget speed;
widget errors;
fitts' law;
51.
An Algorithm of Automatic Semantic Class Tagging
机译:
自动语义分类标记算法
作者:
Qi Xuan
;
Wang Ting
;
Chen Huowang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
semantic class;
tagging;
52.
Integration of Markup Languages, Document Transformations and Software Components in the Development of Applications: the DTC Approach
机译:
在应用程序开发中集成标记语言,文档转换和软件组件:DTC方法
作者:
Jose-Luis Sierra
;
Baltasar Fernandez-Manjon
;
Alfredo Fernandez-Valmayor
;
Antonio Navarro
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
generalized markup languages;
document transformations;
reusable software components;
XML;
XSLT;
53.
A Loop Optimization Technique Based on Quasi-Invariance
机译:
基于拟不变性的循环优化技术
作者:
Litong Song
;
Yoshihiko Futamura
;
Robert Gluck
;
Zhenjiang Hu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
54.
A new test design method for requirement-based software testing
机译:
基于需求的软件测试的新测试设计方法
作者:
Mou Hu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
formal methods;
multiple-valued logic;
requirement-based software testing;
software engienering;
software validation;
verification;
55.
A New Software Architecture in Designing Multiprotocol Router
机译:
设计多协议路由器的新软件架构
作者:
Tang Kai
;
Xu Xin
;
Shao JunLi
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
router;
thread software architecture;
56.
Integrated Schemes of Request Dispatching and Selecting in Web Server Clusters
机译:
Web服务器群集中的请求调度和选择的集成方案
作者:
Lin Chuang
;
shan Zhiguang
;
Yang Yang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
57.
How Agent Behaves in Multi-agent System
机译:
代理在多代理系统中的行为方式
作者:
Mao Xin-Jun
;
Wang Huai-Ming
;
Chen Yue-Xin
;
Liu Feng-Qi
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
agent;
intentional stance;
belief;
intention;
capability;
commitment;
58.
HI-PLAN and Little-JIL: a Study of Contrast between Two Process Languages
机译:
HI-PLAN和Little-JIL:两种过程语言之间的对比研究
作者:
Hyungwon Lee
;
Leon J. Osterweil
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
59.
Improving Cache Consistency for Mobile Web Browsing
机译:
改善移动Web浏览的缓存一致性
作者:
Zhou Huan
;
Li Jing
;
Feng Yulin
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
60.
French Initiatives in ICT RD
机译:
法国的ICT研发计划
作者:
Gerard Roucairol
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
61.
Iconic Interfaces For Kids On The Internet
机译:
孩子们在互联网上的标志性界面
作者:
Lorna Uden
;
Alan Dix
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
primary education;
internet;
search tools;
iconic interface;
metaphor;
62.
JPI: Pure Java Language Based Heterogeneous Parallel Processing Supporting Platform
机译:
JPI:基于纯Java语言的异构并行处理支持平台
作者:
Xinda Lu
;
Jingbo Ye
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
heterogeneous parallel processing;
seamless transplant;
pure java language;
java parallel interface;
programs of network-intensive model;
63.
From Continuous Specification to Discrete Design
机译:
从连续规范到离散设计
作者:
Francois Siewe
;
Dang Van Hung
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
continuous specification;
discrete design;
real-time distributed systems;
verification;
64.
Linux Virtual Server:Server Clustering for Scalable Network Services
机译:
Linux虚拟服务器:用于可扩展网络服务的服务器群集
作者:
Wensong Zhang
;
Shiyao Jin
;
Quanyuan Wu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
network services;
server clustering;
load balancing;
high availability;
65.
Livelocks, Fairness and Protocol Verification
机译:
活锁,公平性和协议验证
作者:
Antti Puhakka
;
Antti Valmari
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
verification;
tool support;
progress;
fairness;
66.
J2EE andJava Application Server-A Practitioner's Perspective
机译:
J2EE和Java应用服务器-从业者的观点
作者:
Ruan Tong
;
Wei Jun
;
Li Jing
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
67.
Malaj: A Proposal to Eliminate Clashes Between Aspect-Oriented and Object-Oriented Programming
机译:
Malaj:消除面向方面和面向对象编程之间冲突的建议
作者:
Gianpaolo Cugola
;
Carlo Ghezzi
;
Mattia Monga
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
68.
Making Ambients More Robust
机译:
使环境更坚固
作者:
Xudong Guan
;
Yiling Yang
;
Jinyuan You
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
69.
A COTS Based Product Line Architecture for Generating Design Editors
机译:
用于生成设计编辑器的基于COTS的产品线架构
作者:
Robert M. Balzer
;
Neil M. Goldman
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
70.
Multilingual System for Universal Communication: Web Browser Implementation of Mixed-Language Document Handling System
机译:
通用通信的多语言系统:混合语言文档处理系统的Web浏览器实现
作者:
Kazutomo Uezono
;
Tomoko Kataoka
;
Katsuhiko Kakehi
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
WWW;
browser;
internationalization;
mixed-language document;
asian languages;
drawing text;
character code switching;
71.
Model Checking Algorithm for Partition Logic
机译:
分区逻辑的模型检查算法
作者:
Yija Chen
;
Enshao Shen
;
Yongqiang Sun
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
72.
A Checkpointing Scheme for Internet-based Computing Systems
机译:
基于Internet的计算系统的检查点方案
作者:
Xinfeng Ye
;
New Zealand
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
73.
On the Extension of the Dependency of Attributes in Rough Set Theory for Classification Problem in Data Mining
机译:
粗糙集理论中属性依赖项对数据挖掘分类问题的扩展
作者:
Hoang Kiem
;
Do Phuc
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
association rule;
classification rule;
confidence;
coverage factor;
data mining;
information matrix;
large descriptor set;
lower approximation of set;
maximal large descriptor set;
rough set;
support;
74.
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
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
software reusability;
testing frameworks;
object-oriented techniques.;
75.
Using a reference framework for software systems research
机译:
使用参考框架进行软件系统研究
作者:
Annette L. Steenkamp
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
76.
A distributed network management architecture based on corba and mobile agent
机译:
基于corba和mobile agent的分布式网络管理架构
作者:
Wu Gang
;
Wang Huaimin
;
Wu Quanyuan
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
CORBA;
mobile agent;
distributed network management;
77.
A methodology for the design of collaborative services
机译:
协作服务设计的方法
作者:
Thierry Villemur
;
Khalil Drira
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
formal software design;
graph grammars;
statecharts;
group membership algorithms;
JAVA actors;
78.
A new actor stereotype to deal with temporalsituations
机译:
一种新的演员刻板印象来应对时态
作者:
Moncef Bari
;
Ghislain Levesque
;
Ahmed Seffah
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
79.
ChaRM: A High Availability Run-time System for Cluster of Computers
机译:
ChaRM:用于计算机集群的高可用性运行时系统
作者:
Zhang Youhu
;
Pei Dan
;
Wang Dongsheng
;
Zheng Weimin
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
checkpointing;
rollback recovery;
process migration;
dynamic reconfiguration;
80.
Architecture-centric Software Development
机译:
以架构为中心的软件开发
作者:
Li Jie
;
Hao AlLi
;
Mai ZhongFan
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
software architecture;
development process;
component;
81.
An Evolutionary Approach to Collaborative Filtering
机译:
协同过滤的进化方法
作者:
Dell Zhang
;
Yisheng Dong
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
82.
An Integrated Approach to Hardware/Software Co-design
机译:
硬件/软件协同设计的集成方法
作者:
He Jifeng
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
83.
Asynchronous Parallel Evolutionary Algorithms For Function Optimization
机译:
功能优化的异步并行进化算法
作者:
Lishan Kang
;
Yan Li
;
Zhuo Kang
;
Pu Liu
;
Yuping Chen
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
84.
Bandwidth Issues With ATM Technology
机译:
ATM技术的带宽问题
作者:
Rakesh Mohan Bhatt
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
ATM;
ISDN;
QoS;
85.
An N-tiered Architecture for Intenret Online Multimedia Data Cataloguing
机译:
Internet在线多媒体数据编录的N层体系结构
作者:
Yu Jijun Xu Manwu
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
MARC;
N-tiered architecture;
web;
cataloguing;
86.
An Approach to Reasoning About Z Specifications Based on the Tactic Language
机译:
基于战术语言的Z规格推理方法
作者:
Miao Huaikou
;
Gao Xiaolei
;
Chen Yihai
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
87.
An Architecture for Object-Relational Data Warehouse
机译:
对象关系数据仓库的体系结构
作者:
Thanh N. Huynh
;
A Min Tjoa
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
OLAP;
data warehouse architecture;
object-relational database;
88.
An Approach for Designing and Enacting Distributed Simulation Environments
机译:
一种设计和实现分布式仿真环境的方法
作者:
Luciano Baresi
;
Alberto Coen Porisini
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
simulation;
system engineering customizable environments;
89.
Composing Software Components at Architectural Level
机译:
在架构级别上组成软件组件
作者:
Hong Mei
;
Jichuan Chang
;
Fuqing Yang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
component-based development;
software architecture;
component composition;
90.
Collaboration Space and Collaboration Support
机译:
协作空间和协作支持
作者:
Baojian Li
;
Guangzhou zheng
;
Zongkai Lin
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
CSCW;
groupware;
collaboration space;
91.
DSEW-R: a reactive multi-agent environment for web-based simulation
机译:
DSEW-R:用于基于Web的仿真的反应性多代理环境
作者:
Dang Gang
;
Wang Xiaoqing
;
Jin Shiyao
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
92.
CCE/MA: Implementation of A Collaborative Computing Environment based on Multi-Agent
机译:
CCE / MA:基于Multi-Agent的协作计算环境的实现
作者:
Bo Yang
;
Qinghua Wang
;
Shounting Qu
;
Jiwen Dong
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
93.
Bin Packing Problem with Start-up Cosntraint
机译:
具有启动约束的装箱问题
作者:
Gu Xiao-Dong
;
Xu Yin-Long
;
Chen Guo-Liang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
bin packing problem;
combinatorial optimization;
approximation algorithm;
asymptotic worst-case performance ratio;
94.
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
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
95.
Combined Function and Trace Test
机译:
组合功能和跟踪测试
作者:
Sadegh Sadeghipour
;
Harbhajan Singh
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
96.
Object Integrity while Allowing Aliasing
机译:
允许别名时的对象完整性
作者:
Harri Hakonen
;
Ville Leppanen
;
Tapio Salakoski
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
97.
A Theory of Testing High-Level Petri Nets
机译:
测试高级Petri网的理论
作者:
Hong Zhu
;
Xudong He
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
98.
Specifying Database Updates by Causal Theories
机译:
通过因果理论指定数据库更新
作者:
Kewen Wang
;
Lizhu Zhou
;
Huimin Lai
;
Yaohua Wei
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
logic programs;
causal theories;
database updates;
semantics;
99.
Network Management based on Combination of CORBA and Java
机译:
基于CORBA和Java结合的网络管理
作者:
Wang Yu
;
Xue Wenge
;
Li Zengzhi
;
Li Gang
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
关键词:
network management;
CORBA;
java;
100.
Type System - A Formal Method Formal Tool for Programming Languages
机译:
类型系统-用于编程语言的形式化方法和形式化工具
作者:
Hui Jiang
;
Dong Lin
;
Xiren Xie
会议名称:
《IFIP 16th World Computer Congress 2000 and Conference on Software: Theory and Practice August 21-25, 2000, Beijing, China》
|
2000年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页