掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Effective values: an approach for characterizing dependability parameters
机译:
有效值:表征可靠性参数的方法
作者:
Noureddine S.
;
Lehmann A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
2.
Information modelling for system specification representation and data exchange
机译:
系统规范表示和数据交换的信息建模
作者:
Herzog E.
;
Torne A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
3.
Synthesis of high-level requirements models for automatic test generation
机译:
自动测试生成的高级要求模型的合成
作者:
Gupta P.
;
Cunning S.I.
;
Rozenblit J.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
4.
Software components adaptive integration
机译:
软件组件自适应集成
作者:
Jiang Guo
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
5.
TRACY-a prototype of an architected middleware to support mobile agents
机译:
TRACY-支持移动代理的架构中间件的原型
作者:
Braun P.
;
Eismann J.
;
Erfurth C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
6.
Developing a traceable domain reference architecture to support clinical trials at the National Cancer Institute. An experience report
机译:
开发可追踪的域参考架构,以支持国家癌症研究所的临床试验。经验报告
作者:
Barber K.S.
;
Graser T.
;
Silva J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
7.
Using Extensible Query Language (XQL) for database applications
机译:
使用可扩展的查询语言(XQL)用于数据库应用程序
作者:
Xavier E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
8.
Unified modeling of real-time control systems and their physical environments using UML
机译:
使用UML统一建模实时控制系统及其物理环境
作者:
Axelsson J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
9.
Object-oriented analysis and design of web-based information systems
机译:
面向对象的基于网络信息系统的分析与设计
作者:
Jyhjong Lin
;
Huammi Tsao
;
Yalei Chu
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
10.
Strategies for developing distributed computing solutions for industrial environments
机译:
开发工业环境开发分布式计算解决方案的策略
作者:
Chisholm A.
;
Smith S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
11.
Implementation of object-oriented protocol agents in communication devices
机译:
在通信设备中实现面向对象的协议代理
作者:
Newton M.
;
Melhart B.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
12.
Analysis of DSP-kernel software by implicit cache simulation
机译:
隐式缓存模拟分析DSP-kernel软件
作者:
Luculli G.
;
Sangiovanni-Vincentelli A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
13.
System composition strategies, panel introduction
机译:
系统成分策略,面板介绍
作者:
White S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
14.
Toward a real-time event flow architecture style
机译:
走向实时事件流程架构风格
作者:
Schwanke R.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
15.
ESFFI-a novel technique for the emulation of software faults in COTS components
机译:
ESFFI-一种用于仿真COTS组件软件故障的新技术
作者:
Costa D.
;
Rilho T.
;
Vieira M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
16.
An agent-based Bayesian forecasting model for enhanced network security
机译:
基于代理的贝叶斯预测模型,用于增强网络安全性
作者:
Pikoulas J.
;
Buchanan W.J.
;
Mannion M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
17.
A graduate-level course on CBS design tool development
机译:
CBS设计工具开发的研究生级课程
作者:
Nordstrom G.
;
Davis J.
;
Briski M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
18.
On adaptive communication in asynchronous real-time distributed systems
机译:
关于异步实时分布式系统的自适应通信
作者:
Ravindran B.
;
Zhang B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
19.
Habitats-infrastructure for knowledge-centric operations (KO)
机译:
栖息地 - 以知识为中心的操作(KO)基础设施
作者:
Salasin J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
20.
Ambulance despatch systems: the Melbourne story
机译:
救护车发货系统:墨尔本故事
作者:
Dalcher D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
21.
Towards a new component composition process
机译:
朝着新的组成组成过程
作者:
Vanderperren W.
;
Wydaeghe B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
22.
Reservation-based timing analysis - a practical engineering approach for distributed real-time systems
机译:
基于预约的时序分析 - 一种分布式实时系统的实用工程方法
作者:
Grigg A.
;
Audsley N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
23.
The new metamodeling generation
机译:
新的元模拟生成
作者:
Sprinkle J.M.
;
Ledeczi A.
;
Karsai G.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
24.
An agent for web-based process management
机译:
基于Web的过程管理代理
作者:
Debenham J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
25.
Twenty years of safe train control in Sweden
机译:
瑞典二十年的安全火车控制
作者:
Lawson H.W.
;
Wallin S.
;
Bryntse B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
26.
Forensic ECBS: the way forward
机译:
法医欧洲央行:前进的方向
作者:
Dalcher D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
27.
Fault-adaptive control: a CBS application
机译:
故障 - 自适应控制:CBS应用程序
作者:
Karsai G.
;
Biswas G.
;
Pasternak T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
28.
Using 'parallel automaton' as a single notation to specify, design and control small computer based systems
机译:
使用“并行自动机”作为单一表示,指定,设计和控制基于小型计算机的系统
作者:
Mendelbaum H.G.
;
Yehezkael R.B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
29.
Report of the Standards Working Group ISO/IEC 15288
机译:
标准工作组的报告ISO / IEC 15288
作者:
Lawson H.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
30.
A practical semantics for design facet interaction
机译:
设计方面交互的实用语义
作者:
Alexander P.
;
Kong C.
;
Schonberger D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
31.
A super tracer and an analyzer for analyzing detailed behavior of a Linux on a Pentium family processor (STDB)
机译:
超示踪器和分析器,用于分析奔腾族处理器上Linux的详细行为(STDB)
作者:
Sugimura Y.
;
Ido S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
32.
Author Index
机译:
作者索引
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
33.
System level mutation analysis applied to a state-based language
机译:
系统级突变分析应用于基于国家的语言
作者:
Olsson T.
;
Runeson P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
34.
Formal specifications of computer-based systems
机译:
基于计算机系统的正式规范
作者:
Sveda M.
;
Rattray C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
35.
Experiences from introducing state-of-the-art real-time techniques in the automotive industry
机译:
在汽车行业引入最先进的实时技术的经验
作者:
Norstrom C.
;
Gustafsson M.
;
Sandstrom K.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
36.
Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001
机译:
诉讼程序。第八届IEEE IEEE国际会议和研讨会,计算机基于计算机系统 - ECBS 2001
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
37.
Systematic definition of reusable architectures
机译:
可重复使用的架构的系统定义
作者:
Philippow I.
;
Riebisch M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
38.
Optimum information queue lengths in semi-batch power management methods for a palmtop multimedia terminal
机译:
Palmtop Multimedia终端半批量电源管理方法中的最佳信息队列长度
作者:
Ying-Wen Bai
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
39.
System composition strategies. My position: analogy questionable, intentions estimable
机译:
系统构成策略。我的位置:类比有问题,意图估计
作者:
Leaney J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
40.
Risk management for an open CBS project
机译:
开放式CBS项目的风险管理
作者:
ONeill T.
;
Leaney J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
41.
Measuring the effectiveness of computer based systems: an open system measurement example
机译:
测量计算机基系统的有效性:一个开放式系统测量示例
作者:
Leaney J.
;
Rowe D.
;
ONeill T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
42.
Discovering rules for fault management
机译:
发现故障管理规则
作者:
Sterritt R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
43.
Visual composition with SDL Beans
机译:
用sdl beans的视觉组成
作者:
Verschaeve K.
;
Wydaeghe B.
;
Westerhuis F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
44.
Coverage based test-case generation using model checkers
机译:
基于覆盖基于模型检查的测试用例
作者:
Rayadurgam S.
;
Heimdahl M.P.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
45.
XML based security for e-commerce applications
机译:
基于XML基于电子商务应用程序的安全性
作者:
Xavier E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
46.
Developing instance model-based applications
机译:
发展实例基于模型的应用程序
作者:
Bruno G.
;
Torchiano M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
47.
Need-based requirements change management
机译:
基于需求的要求变更管理
作者:
Kobayashi A.
;
Maekawa M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
48.
Sensor networking
机译:
传感器网络
作者:
Sveda M.
;
Vrba R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems》
|
2001年
意见反馈
回到顶部
回到首页