掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE International Conference on Engineering of Complex Computer Systems
IEEE International Conference on Engineering of Complex Computer Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Using TILCO for specifying real-time systems
机译:
使用Tilco指定实时系统
作者:
Mattolini R.
;
Nesi P.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
2.
Conformance testing of time-dependent protocols
机译:
时间依赖协议的一致性测试
作者:
Salinas J.
;
Park N.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
3.
Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW)
机译:
委员会的常规委员会第96次:第二届CSENE系统的IEEE工程国际会议(第6个CSEAW和第4次IEEE RTAW举行)
作者:
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
4.
Architecture and language support for fault-tolerance in complex real-time systems
机译:
复杂实时系统中容错的体系结构和语言支持
作者:
Ganesh A.K.
;
Marlowe T.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
5.
Semi-automatic transformation from formal specifications to programs
机译:
从正式规范到程序的半自动转换
作者:
Shaoying Liu
;
Ho-Stuart C.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
6.
A process for specifying black box behavior, demonstrated in a case study
机译:
在案例研究中说明了一个指定黑匣子行为的过程
作者:
White S.
;
Warner H.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
7.
Real-time commit protocol for distributed real-time database systems
机译:
分布式实时数据库系统的实时提交协议
作者:
Yongik Yoon
;
Mikyung Han
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
8.
A framework for dependability specification
机译:
可依赖性规范的框架
作者:
Scalzo R.C.
;
Hugue M.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
9.
Designing a non-intrusive monitoring tool for developing complex distributed applications
机译:
设计用于开发复杂分布式应用的非侵入式监控工具
作者:
Wanqing Wu
;
Spezialetti M.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
10.
Toward compiler optimization of distributed real-time processes
机译:
朝向分布式实时流程的编译器优化
作者:
Younis M.F.
;
Marlowe T.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
11.
System Dependability Assessment Tool
机译:
系统可靠性评估工具
作者:
Brehm E.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
12.
Integrating Petri nets with design methods for concurrent and real-time systems
机译:
将Petri网与用于并发和实时系统的设计方法集成
作者:
Pettit R.G. IV
;
Gomaa H.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
13.
Telecommunication software development using SDL-92: practical experience
机译:
使用SDL-92的电信软件开发:实践经验
作者:
Hatim B.
;
Droma M.O.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
14.
Using a discrete event simulation to test a generic architecture for complex real-time systems
机译:
使用离散事件仿真来测试复杂实时系统的通用架构
作者:
Benyahia I.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
15.
Graphical programming of time-deterministic real-time systems
机译:
时间确定的实时系统的图形编程
作者:
Wiberg P.-A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
16.
A generalized methodology for evaluating and optimizing system design factors
机译:
用于评估和优化系统设计因素的广义方法
作者:
Rehman J.
;
Lock E.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
17.
A comparative assessment of some reengineering techniques
机译:
对一些再造技术的比较评估
作者:
Wilson M.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
18.
Adaptive parallel algorithms for the synthesis of real-time computer systems
机译:
用于合成实时计算机系统的自适应并行算法
作者:
Abualsamid A.
;
Ramanathan P.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
19.
Recovery of communications protocol design from protocol execution traces
机译:
从协议执行迹线恢复通信协议设计
作者:
Saleh K.
;
Probert R.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
20.
Deriving mode invariants from SCR specifications
机译:
从SCR规范中派生模式不变
作者:
Zhenyi Jin
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
21.
An approach for generating executable distributed applications from reusable software architectures
机译:
一种从可重用软件架构生成可执行分布式应用程序的方法
作者:
Gomaa H.
;
Farrukh G.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
22.
Operator resources for large complex systems
机译:
大型复杂系统的操作员资源
作者:
Harelick M.
;
Stoyenko A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
23.
Alternative priority scheduling in dynamic priority systems
机译:
动态优先级系统中的替代优先级调度
作者:
Hyungill Kim
;
Sungyoung Lee
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
24.
A theory of lexicographic multi-criteria optimization
机译:
词典多标准优化理论
作者:
Rentmeesters M.J.
;
Tsai W.K.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
25.
Modeling and analysis of complex computer systems-the MTCCS approach
机译:
复杂计算机系统的建模与分析 - MTCCS方法
作者:
Toetenel H.
;
Spelberg R.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
26.
Three-dimensional DCT video compression technique based on adaptive quantizers
机译:
基于自适应量化器的三维DCT视频压缩技术
作者:
Westwater R.
;
Furht B.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
27.
Resource conscious design of distributed real-time systems. An end-to-end approach
机译:
分布式实时系统的资源意识设计。端到端的方法
作者:
Saksena M.
;
Seongsoo Hong
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
28.
Evaluation and comparison of task allocation and scheduling methods for distributed real-time systems
机译:
分布式实时系统任务分配和调度方法的评估与比较
作者:
Jonsson J.
;
Vasell J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
29.
Dynamically reconfigurable embedded software-does it make sense?
机译:
动态可重新配置的嵌入式软件 - 是否有意义?
作者:
Stewart D.B.
;
Arora G.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
30.
Animating real-time reactive systems
机译:
动画实时反应系统
作者:
Alagar V.S.
;
Muthiayen D.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
31.
A task graph model for design and implementation of real-time systems
机译:
实时系统设计与实现的任务图模型
作者:
Silberman A.
;
Marlowe T.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
32.
Coupling-based integration testing
机译:
基于耦合的集成测试
作者:
Zhenyi Jin
;
Offutt A.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
33.
Providing generalized rate monotonic scheduling theory to I/O abstractions over timed token protocol MAC networks
机译:
向定时令牌协议MAC网络提供广义速率单调调度理论到I / O抽象
作者:
Echague J.
;
Vila J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
34.
IDEA: integrated design environment for assessment of ATM networks
机译:
想法:综合设计环境,用于评估ATM网络
作者:
Fricks R.
;
Hunter S.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
35.
Design of a communication system capable of supporting real-time RPC
机译:
能够支持实时RPC的通信系统的设计
作者:
Junghoon Lee
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
36.
Design synthesis using adaptive search techniques and multi-criteria decision analysis
机译:
使用自适应搜索技术设计合成和多标准决策分析
作者:
Nicholson M.
;
Prasad D.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
37.
Author Index
机译:
作者索引
作者:
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
38.
Developments in System Architecting
机译:
系统架构的发展
作者:
Maier M.W.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
39.
Hardware composition with hardware flowcharts and process algebras
机译:
硬件流程图和工艺代数的硬件组成
作者:
Lu J.-Y.J.
;
Jang Dae Kim
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
40.
Formal methods applied to secure network engineering
机译:
适用于安全网络工程的正式方法
作者:
Shin-Kai Chin
;
Faust J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
41.
Autonomous navigation based on a dynamic world representation
机译:
基于动态世界表示的自主导航
作者:
Piaggio M.
;
Zaccaria R.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
42.
A knowledge-based approach to object-oriented legacy code reuse
机译:
基于知识的面向对象传统代码重用的方法
作者:
Etzkorn L.H.
;
Davis C.G.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
43.
Assessing complex computer based systems using the Goal Structuring Notation
机译:
使用目标结构符号评估基于复杂的计算机系统
作者:
Wilson S.P.
;
McDermid J.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
44.
On the specification of complex software systems
机译:
关于复杂软件系统的规范
作者:
Moxley F.I.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
45.
A join algorithm utilizing multiple path indexes in object-oriented database systems
机译:
利用面向对象数据库系统中的多路径索引的连接算法
作者:
Wan-Sup Cho
;
Seung-Sun Lee
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
46.
An algorithmic semantics for Viewcharts
机译:
ViewCharts的算法语义
作者:
Isazadeh A.
;
Lamb D.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
47.
Improving protocol performance by dynamic control of communication resources
机译:
通过动态控制通信资源来提高协议性能
作者:
Ivan-Rosu D.
;
Schwan K.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
48.
Understanding large-scale behaviour patterns in complex systems
机译:
了解复杂系统中的大规模行为模式
作者:
Buhr R.J.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
49.
Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval
机译:
硬件/软件叠层:多个约束满意度和组件检索
作者:
Miller R.
;
Carter H.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
50.
Multiple object interfaces in object-oriented control systems
机译:
面向对象控制系统中的多个对象接口
作者:
Bosch J.
;
Lundberg C.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
51.
The allocation and scheduling of precedence- and timing-constrained tasks with communication delays
机译:
具有通信延迟的优先级和时序约束任务的分配和调度
作者:
Bo-Chao Cheng
;
Stoyenko A.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
52.
Adaptability in cooperative systems: merging flexibility and performance
机译:
合作系统的适应性:合并灵活性和性能
作者:
Daoud F.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
53.
Recovery of software design, state-machines and specifications from source code
机译:
从源代码中恢复软件设计,状态机和规格
作者:
Prywes N.
;
Rehmet P.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
54.
A progressive software development lifecycle
机译:
渐进软件开发生命周期
作者:
Turpin R.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
55.
Engineering of component-based systems
机译:
基于组件的系统工程
作者:
Brown A.W.
;
Wallnan K.C.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
56.
An experimental investigation of the potential of BLF-driven scheduling of real-time threads
机译:
实时线路BLF驱动调度潜力的实验研究
作者:
Kim K.H.
;
Yuseok Kim
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
57.
An engineering design process supported by knowledge retrieval from a spatial database
机译:
通过空间数据库的知识检索支持的工程设计过程
作者:
Manwaring M.L.
;
Jones K.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
58.
Teledesic network and space infrastructure architecture and design features
机译:
遥控网络和空间基础设施架构和设计功能
作者:
Stuart J.R.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
59.
Certification of reusable software components: summary of work in progress
机译:
可重用软件组件的认证:正在进行中的工作摘要
作者:
Rohde S.L.
;
Dyson K.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
60.
Temporal causal networks for simulation and diagnosis
机译:
用于仿真和诊断的时间因果网络
作者:
Bouzid M.
;
Ligeza A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
61.
A software architecture approach for designing CASE systems
机译:
一种用于设计案例系统的软件架构方法
作者:
Pezzi M.
;
Silva S.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
62.
On real-time quasi-durable checkpointing
机译:
关于实时准耐用检查点
作者:
Huang J.
;
Wan P.-J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
63.
A cyclic scheduling approach for relative timing requirements
机译:
相对时间要求的循环调度方法
作者:
Sheng-Tzong Cheng
;
Chia-Mei Chen
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
64.
Assessment and optimization of system architectures-experience from industrial applications at Siemens
机译:
系统架构的评估和优化 - 来自西门子的工业应用的体验
作者:
Gloger M.
;
Jockusch S.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
65.
The two real-time solitudes: computerized control and telecommunications
机译:
两个实时孤立:计算机控制和电信
作者:
Freedman P.
;
Gaudreau D.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
66.
A distributed architecture for autonomous robots
机译:
自治机器人的分布式架构
作者:
Piaggio M.
;
Sgorbissa A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
67.
Development of a systems architecting process for computer based systems
机译:
基于计算机系统的系统架构过程的开发
作者:
Rowe D.
;
Leaney J.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
68.
Application of security principles to integration of enterprise, system and software engineering methods
机译:
安全原则在企业,系统和软件工程方法集成中的应用
作者:
Weiss D.A.
;
Moore S.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
69.
Subscription as a model for the architecture of embedded systems
机译:
订阅作为嵌入式系统架构的模型
作者:
Boasson M.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
70.
An architectural framework for interoperation of distributed heterogeneous database systems
机译:
分布式异构数据库系统互操作的建筑框架
作者:
Xuequn Wu
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
71.
Interactive consistency in quasi-asynchronous systems
机译:
准异步系统中的交互式一致性
作者:
Postma A.
;
Krol T.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
72.
Time controlled dynamic scheduling of aperiodic real-time tasks
机译:
非周期性实时任务的时间控制动态调度
作者:
Hamidzadeh B.
;
Atif Y.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
73.
Evolvable real-time C3 systems-II: real-time infrastructure requirements
机译:
不可扩大的实时C3系统-II:实时基础设施要求
作者:
Thuraisingham B.
;
Krupp P.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
74.
Indexing to efficiently support fuzzy queries on range specifications
机译:
索引以有效地支持范围规范的模糊查询
作者:
Glagowski T.G.
;
DeForeest W.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
75.
Progressive scheduling for real-time artificial intelligence tasks
机译:
实时人工智能任务的逐步调度
作者:
Mouaddib A.-I.
;
Gallone J.-M.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
76.
Building reusable software architectures with Ada
机译:
使用ADA构建可重用的软件架构
作者:
Alonso A.
;
de la Puente J.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
77.
Formal verification for distributed real-time control: periodic Producer/Consumer
机译:
用于分布式实时控制的正式验证:定期生产者/消费者
作者:
Koppenhoefer S.
;
Decotignie
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
78.
Virtual reality-an approach to improve the generation of fault free software for programmable logic controllers (PLC)
机译:
虚拟现实 - 一种改进可编程逻辑控制器(PLC)的故障软件生成的方法
作者:
Spath D.
;
Osmers U.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
79.
An iterative method of task temporal parameter adjustment in hard real-time systems
机译:
硬实时系统任务时间参数调整的迭代方法
作者:
Cottet F.
;
Babau J.-P.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
80.
Toward a recommended practice for architectural description
机译:
迈向建筑描述的推荐做法
作者:
Ellis W.J.
;
Rayford D.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
81.
A Z-based approach to specifying and analyzing complex systems
机译:
一种基于Z的指定和分析复杂系统的方法
作者:
Bruel J.-M.
;
France R.B.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
82.
System refinement in VDM-SL
机译:
VDM-SL中的系统细化
作者:
Mukherjee P.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
83.
Enhancement and real-time analysis of an adaptive impulsive noise removal method
机译:
自适应脉冲噪声去除方法的增强与实时分析
作者:
Kong H.
;
Guan L.
;
Institute of Electric and Electronic Engineer
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
1996年
84.
A GRID based Framework and tools for automating production of cross media content
机译:
基于网格的框架和工具,用于自动化交叉媒体内容
作者:
Pierfrancesco Bellini
;
Ivan Bruno
;
Paolo Nesi
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
85.
A Tool-Supported Review Approach to Detecting Structural Consistency Violations
机译:
一种检测结构一致性违规的工具支持的审查方法
作者:
Yuting Chen
;
Shaoying Liu
;
Fumiko Nagoya
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
Design and implementation;
Program review;
Structural consistency;
SOFL specification;
86.
Origins of the Grid Architectural Style
机译:
网格建筑风格的起源
作者:
Jovan Cakic
;
Richard F. Paige
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
87.
Efficient Dynamic Multikeys in Enterprise JavaBeans
机译:
Enterprise JavaBeans中的高效动态多仪
作者:
Reinhard Klemm
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
88.
Integrating timed automata into tabu algorithm for HW-SW partitioning
机译:
将定时自动机集成到HW-SW分区的禁忌算法中
作者:
Geguang Pu
;
Zhang Chong
;
Zongyan Qiu
;
Jifeng He
;
Wang Yi
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
automata theory;
embedded systems;
hardware-software codesign;
search problems;
Hardware-software partitioning;
embedded system codesign;
synchronous model;
tabu algorithm;
timed automata;
89.
Reactive Component based Service-Oriented Design - A Case Study
机译:
基于无功基的服务 - 面向服务的设计 - 以案例研究
作者:
Jing Liu
;
Jifeng He
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
90.
Communicating complex systems
机译:
传播复杂系统
作者:
Welch P.T.
;
Barnes F.R.M.
;
Polack F.A.C.
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
Occam;
communicating sequential processes;
multiprocessing programs;
pi calculus;
Hoare CSP;
Milner pi-calculus;
Theory Underpinning Nanotech Assembler project;
artificial blood platelet;
complex system;
concurrent dynamic system;
formal model;
multiprocessing lang;
91.
A Layered Behavioural Model of Platelets
机译:
血小板分层行为模型
作者:
Steve Schneider
;
Helen Treharne
;
Ana Cavalcanti
;
Jim Woodcock
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
92.
An Assertional Correctness Proof of a Self-Stabilizing l-Exclusion Algorithm
机译:
自稳定L-禁用算法的分子正确性证明
作者:
Milos Besta
;
Frank Stomp
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
Formal Verification of Programs;
Linear-Time Temporal Logic;
Mutual Exclusion;
Self-stabilization;
93.
Multilevel modeling and distributed agent-based inference: the role of system structure
机译:
基于多级建模和分布式代理的推断:系统结构的作用
作者:
Provan G.
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
attribute grammars;
distributed processing;
formal specification;
graph grammars;
inference mechanisms;
software agents;
attributed programmed graph grammar;
constraint-based language;
distributed agent-based inference;
meta model;
model analysis;
model specificati;
94.
Communicating Complex Systems
机译:
传播复杂系统
作者:
Peter H. Welch
;
Frederick R. M. Barnes
;
Fiona A. C. Polack
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
95.
A layered behavioural model of platelets
机译:
血小板分层行为模型
作者:
Schneider S.
;
Cavalcanti A.
;
Treharne H.
;
Woodcock J.
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
biology computing;
communicating sequential processes;
medical robotics;
nanotechnology;
CSP;
artificial platelet;
clotting behaviour;
communicating sequential processes;
nanomedicine application;
nanorobot;
nanotechnology;
96.
Automation of Java Card component development using the B method
机译:
使用B方法自动化Java Card组件开发
作者:
Deharbe D.
;
Gomes B.G.
;
Moreira A.M.
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
Java;
formal specification;
object-oriented programming;
smart cards;
Java Card code;
Java Card component development;
application logic;
productivity;
smart card applications;
user-interaction;
97.
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
机译:
基于模型的JABC分布式协同生物信息学过程的设计
作者:
Tiziana Margaria
;
Christian Kubczak
;
Marc Njoku
;
Bernhard Steffen
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
98.
Formal specification-based online monitoring
机译:
基于正式规范的在线监测
作者:
Hui Liang
;
Jin Song Dong
;
Jing Sun
;
Duke R.
;
Seviora R.E.
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
关键词:
formal specification;
program debugging;
system monitoring;
formal specification;
higher level languages;
online monitoring;
program debugger;
software system;
specification animator;
99.
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning
机译:
将定时自动机集成到HW-SW分区的禁忌算法中
作者:
Geguang Pu
;
Zhang Chong
;
Zongyan Qiu
;
Jifeng He
;
Wang Yi
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
100.
A UML Profile utilizing Enterprise Information System Configuration
机译:
利用企业信息系统配置的UML个人资料
作者:
M. Nikolaidou
;
A. Tsadimas
;
N. Alexopoulou
;
A. Dais
;
D. Anagnostopoulos
会议名称:
《IEEE International Conference on Engineering of Complex Computer Systems》
|
2006年
意见反馈
回到顶部
回到首页