掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the
Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the
召开年:
2002
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
机译:
第九届IEEE国际计算机系统工程年会暨研讨会
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
2.
Workshop on component-based software engineering: composing systems from components
机译:
基于组件的软件工程研讨会:由组件组成系统
作者:
Crnkovic
;
I.
;
Larsson
;
S.
;
Stafford
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
3.
Workshop on component-based software engineering: composing systems from components
机译:
基于组件的软件工程研讨会:由组件组成系统
作者:
Crnkovic
;
I.
;
Larsson
;
S.
;
Stafford
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
4.
Conference session and workshop on performance, interoperability, and applications of mobile agent systems
机译:
关于移动代理系统的性能,互操作性和应用的会议和研讨会
作者:
Roth
;
V.
;
Braun
;
P.
;
Rossak
;
W.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
5.
Formal specifications of computer-based systems
机译:
基于计算机的系统的正式规范
作者:
Sveda
;
M.
;
Rattray
;
C.
;
Rozenblit
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
6.
An extensible software architecture for mobile components
机译:
用于移动组件的可扩展软件架构
作者:
Johansen
;
D.
;
Lauvset
;
K.J.
;
Marzullo
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
7.
Managing complex temporal requirements in real-time control systems
机译:
在实时控制系统中管理复杂的时间要求
作者:
Sandstrom
;
K.
;
Norstrom
;
C.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
8.
Mobile agent interoperability patterns and practice
机译:
移动代理互操作性模式和实践
作者:
Pinsdorf
;
U.
;
Roth
;
V.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
9.
An integrated framework for sensor-based embedded systems
机译:
基于传感器的嵌入式系统的集成框架
作者:
Sveda
;
M.
;
Vrba
;
R.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
10.
Architecture-based visualisation of computer based systems
机译:
基于架构的计算机系统可视化
作者:
Denford
;
M.
;
ONeill
;
T.
;
Leaney
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
11.
Flexible development of dependability services: an experience derived from energy automation systems
机译:
灵活开发可靠性服务:源自能源自动化系统的经验
作者:
De Florio
;
V.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
12.
FRAME for achieving performance portability within heterogeneous environments
机译:
FRAME,用于在异构环境中实现性能可移植性
作者:
Ko
;
R.-S.
;
Mutka
;
M.W.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
13.
Improving quality attributes of a complex system through architectural analysis-a case study
机译:
通过架构分析改善复杂系统的质量属性-一个案例研究
作者:
Land
;
R.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
14.
InterMarket - towards intelligent mobile agent e-marketplaces
机译:
InterMarket-面向智能移动代理电子市场
作者:
Kowalczyk
;
R.
;
Franczyk
;
B.
;
Speck
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
15.
/spl Rscr//spl epsi//spl Lscr/: a fault tolerance linguistic structure for distributed applications
机译:
/ spl Rscr // spl epsi // spl Lscr /:分布式应用程序的容错语言结构
作者:
De Florio
;
V.
;
Deconinck
;
G.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
16.
A formal software verification concept based on automated theorem proving and reverse engineering
机译:
基于自动定理证明和逆向工程的正式软件验证概念
作者:
Popovic
;
M.
;
Kovacevic
;
V.
;
Velikic
;
I.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
17.
A systematic method of reusing objects extracted from legacy systems
机译:
重用从遗留系统中提取的对象的系统方法
作者:
Jiang Guo
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
18.
Advanced Petri Nets for modelling mobile agent enabled interorganizational workflows
机译:
先进的Petri Nets用于为启用移动代理的组织间工作流程建模
作者:
Sea Ling
;
Seng Wai Loke
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
19.
On the relation between design contracts and errors: a software development strategy
机译:
关于设计合同与错误之间的关系:一种软件开发策略
作者:
Nordby
;
E.J.
;
Blom
;
M.
;
Brunstrom
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
20.
Optimization of a retargetable functional simulator for embedded processors
机译:
针对嵌入式处理器的可重定位功能仿真器的优化
作者:
Papariello
;
F.
;
Luculli
;
G.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
21.
Refinement of model specifications in embedded systems design
机译:
完善嵌入式系统设计中的模型规范
作者:
Schulz
;
S.
;
Rozenblit
;
J.W.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
22.
Requirements engineering for time-to-market projects
机译:
上市时间的需求工程
作者:
McPhee
;
C.
;
Eberlein
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
23.
Towards recyclable system requirements
机译:
迈向可回收系统的要求
作者:
Alexander
;
I.
;
Kiedaisch
;
F.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
24.
Understanding software processes through system dynamics simulation: a case study
机译:
通过系统动力学仿真了解软件过程:一个案例研究
作者:
Andersson
;
C.
;
Karlsson
;
L.
;
Nedstam
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
25.
Using category theory to model software component dependencies
机译:
使用类别理论对软件组件依赖性进行建模
作者:
Jiang Guo
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
26.
VSPEC and its integrated tool suite
机译:
VSPEC及其集成工具套件
作者:
Rangarajan
;
M.
;
Jambhekar
;
K.
;
Rajkhowa
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
27.
What is included in software architecture? A case study in three software organizations
机译:
软件体系结构中包含什么?三个软件组织的案例研究
作者:
Smolander
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
28.
/spl Rscr//spl epsi//spl Lscr/: a fault tolerance linguistic structure for distributed applications
机译:
/ spl Rscr // spl epsi // spl Lscr /:分布式应用程序的容错语言结构
作者:
De Florio
;
V.
;
Deconinck
;
G.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
29.
An integrated framework for sensor-based embedded systems
机译:
基于传感器的嵌入式系统的集成框架
作者:
Sveda
;
M.
;
Vrba
;
R.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
30.
Using category theory to model software component dependencies
机译:
使用类别理论对软件组件依赖性进行建模
作者:
Jiang Guo
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
31.
What is included in software architecture? A case study in three software organizations
机译:
软件体系结构中包含什么?三个软件组织的案例研究
作者:
Smolander
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
32.
Improving multiprocessor performance of a large telecommunication system by replacing interpretation with compilation
机译:
通过将解释替换为编译来提高大型电信系统的多处理器性能
作者:
Mejstad
;
V.
;
Tangby
;
K.-J.
;
Lundberg
;
L.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
33.
An experimental evaluation of programming by contract
机译:
合同编程的实验评估
作者:
Blom
;
M.
;
Nordby
;
E.J.
;
Brunstrom
;
A.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
34.
Bridging the educational gap in embedded systems curricula: developing an e-commerce audio streaming system
机译:
缩小嵌入式系统课程中的教育差距:开发电子商务音频流系统
作者:
Leeman
;
M.
;
Barat
;
F.
;
De Florio
;
V.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
35.
A comparative evaluation of mobile agent performance for network management
机译:
网络管理中移动代理性能的比较评估
作者:
Li Tang
;
Pagurek
;
B.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
36.
Top-down composition of software architectures
机译:
自上而下的软件架构组成
作者:
de Bruin
;
H.
;
van Vliet
;
H.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
37.
Factoring mobile agents
机译:
代理移动代理
作者:
Lauvset
;
K.J.
;
Johansen
;
D.
;
Marzullo
;
K.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
38.
An intelligent agent security intrusion system
机译:
智能代理安全入侵系统
作者:
Pikoulas
;
J.
;
Buchanan
;
W.
;
Mannion
;
M.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
39.
On some key requirements of mobile application software
机译:
关于移动应用软件的一些关键要求
作者:
De Florio
;
V.
;
Deconinck
;
G.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
40.
Who does what in a multi-agent system for emergent process management
机译:
谁在多主体系统中为紧急过程管理做什么
作者:
Debenham
;
J.
会议名称:
《Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the》
|
2002年
意见反馈
回到顶部
回到首页