掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Cordless Office
Cordless Office
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机科学技术学报(英文版)
互动软件
计算机测量与控制
数码先锋
电脑时空
互联网周刊
计算机科学
计算机工程与应用
软件导刊
网管员世界
更多>>
相关外文期刊
International journal of mobile computing and multimedia communications
Australian computer journal
Annals of Mathematics and Artificial Intelligence
.Net Developer's Journal
International journal of automation technology
International journal of computing & information technology
Information Technologies and International Development
IT Professional
Advanced engineering informatics
International Journal on Document Analysis and Recognition
更多>>
相关中文会议
2013年中国计算机学会人工智能会议
2009国际信息技与应用论坛
中国自动化学会自动化科学技术应用学术会议
第32届中国数据库学术会议
第十二届中国体视学与图像分析学术会议
第四届全国可穿戴计算学术会议暨首届“中国(国际)智能可穿戴技术与产业”论坛
2007年全国AECC专题学术研讨会
第十三届全国高等学校过程装备与控制工程专业教学与科研校际交流会
中国计算机学会CCF外围设备专业委员会2006年学术年会
浙江省电子学会2013年学术年会
更多>>
相关外文会议
2017 IEEE 4th International Conference on Soft Computing & Machine Intelligence
International Conference on Automated Deduction; 20050722-27; Tallinn(EE)
Security and privacy-silver linings in the cloud
European Computing Conference
Proceedings of KICS-IEEE International Conference on Information and Communications with Samsung LTE & 5G Special Workshop
Pacific Symposium on Biocomputing(PSB); 20050104-08; Hawaii,HI(US)
Programs, proofs, processes
Theoretical aspects of computing - ICTAC 2011
Supercomputing '88
CHI '98 extended abstracts on Human factors in computing systems
更多>>
热门会议
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
)
清除
导出
1.
Process modelling to support dependability arguments
机译:
支持可靠性论证的过程建模
作者:
Bloomfield R.
;
Guerra S.
会议名称:
《Cordless Office》
|
1993年
2.
Robust software - no more excuses
机译:
强大的软件-没有更多借口
作者:
De Vale J.
;
Koopman P.
会议名称:
《Cordless Office》
|
1993年
3.
Optimizing buffer management for reliable multicast
机译:
优化缓冲区管理以实现可靠的多播
作者:
Zhen Xiao
;
Birman K.P.
;
van Renesse R.
会议名称:
《Cordless Office》
|
1993年
4.
Reliability and survivability in the Reduced Ship's Crew by Virtual Presence system
机译:
虚拟存在系统在减缩船员中的可靠性和生存性
作者:
Schwartz G.
会议名称:
《Cordless Office》
|
1993年
5.
Impact of deep submicron technology on dependability of VLSI circuits
机译:
深亚微米技术对VLSI电路可靠性的影响
作者:
Constantinescu C.
会议名称:
《Cordless Office》
|
1993年
6.
Dependability and the grid issues and challenges
机译:
可靠性和网格问题与挑战
作者:
Schlichting R.D.
会议名称:
《Cordless Office》
|
1993年
7.
MAFALDA-RT: a tool for dependability assessment of real-time systems
机译:
MAFALDA-RT:用于实时系统可靠性评估的工具
作者:
Rodriguez M.
;
Albinet A.
;
Arlat J.
会议名称:
《Cordless Office》
|
1993年
8.
A dependable SNMP-based tool for distributed network management
机译:
基于SNMP的可靠工具,用于分布式网络管理
作者:
Duarte E.P. Jr.
;
Erpen De Bona L.C.
会议名称:
《Cordless Office》
|
1993年
9.
SWIM: scalable weakly-consistent infection-style process group membership protocol
机译:
SWIM:可扩展的弱一致性感染式过程组成员身份协议
作者:
Das A.
;
Gupta I.
;
Motivala A.
会议名称:
《Cordless Office》
|
1993年
10.
Reliability and availability analysis for the JPL Remote Exploration and Experimentation System
机译:
JPL远程探索和实验系统的可靠性和可用性分析
作者:
Dong Chen
;
Dharmaraja S.
;
Dongyan Chen
;
Lei Li
;
Trivedi K.S.
;
Some R.R.
;
Nikora A.P.
会议名称:
《Cordless Office》
|
1993年
11.
A realistic look at failure detectors
机译:
逼真的故障检测器
作者:
Delporte-Gallet C.
;
Fauconnier H.
;
Guerraoui R.
会议名称:
《Cordless Office》
|
1993年
12.
Implementation and performance evaluation of an adaptable failure detector
机译:
自适应故障检测器的实现和性能评估
作者:
Bertier M.
;
Marin O.
;
Sens P.
会议名称:
《Cordless Office》
|
1993年
13.
Experimental evaluation of time-redundant execution for a brake-by-wire application
机译:
线控制动应用中时间冗余执行的实验评估
作者:
Aidemark J.
;
Vinter J.
;
Folkesson P.
;
Karlsson J.
会议名称:
《Cordless Office》
|
1993年
14.
Masquerade detection using truncated command lines
机译:
使用截断的命令行伪装检测
作者:
Maxion R.A.
;
Townsend T.N.
会议名称:
《Cordless Office》
|
1993年
15.
Soft error sensitivity characterization for microprocessor dependability enhancement strategy
机译:
用于微处理器可靠性增强策略的软错误敏感性表征
作者:
Seongwoo Kim
;
Somani A.K.
会议名称:
《Cordless Office》
|
1993年
16.
Detecting processor hardware faults by means of automatically generated virtual duplex systems
机译:
通过自动生成的虚拟双工系统检测处理器硬件故障
作者:
Jochim M.
会议名称:
《Cordless Office》
|
1993年
17.
SMART: stochastic model-checking analyzer for reliability and timing
机译:
SMART:随机模型检查分析器,具有可靠性和定时性
作者:
Ciardo G.
;
Jones R.L. III
;
Marmorstein R.M.
;
Miner A.S.
;
Siminiceanu R.
会议名称:
《Cordless Office》
|
1993年
18.
Lessons learned in building a fault-tolerant CORBA system
机译:
构建容错CORBA系统的经验教训
作者:
Narasimhan P.
;
Moser L.E.
;
Melliar-Smith P.M.
会议名称:
《Cordless Office》
|
1993年
19.
A simple characterization of provably efficient prefetching algorithms
机译:
可证明有效的预取算法的简单表征
作者:
Wei Jin
;
Barve R.D.
;
Trivedi K.S.
会议名称:
《Cordless Office》
|
1993年
20.
Pinpoint: problem determination in large, dynamic Internet services
机译:
定位:大型动态互联网服务中的问题确定
作者:
Chen M.Y.
;
Kiciman E.
;
Fratkin E.
;
Fox A.
;
Brewer E.
会议名称:
《Cordless Office》
|
1993年
21.
SREPT: a tool for Software Reliability Estimation and Prediction
机译:
SREPT:用于软件可靠性估计和预测的工具
作者:
Trivedi K.S.
会议名称:
《Cordless Office》
|
1993年
22.
Impact of fault management server and its failure-related parameters on high-availability communication systems
机译:
故障管理服务器及其故障相关参数对高可用性通信系统的影响
作者:
Hairong Sun
;
Han J.J.
;
Levendel I.
会议名称:
《Cordless Office》
|
1993年
23.
Analysis of failure and recovery rates in a wireless telecommunications system
机译:
无线通信系统中的故障和恢复率分析
作者:
Matz S.M.
;
Votta L.G.
;
Malkawi M.
会议名称:
《Cordless Office》
|
1993年
24.
Resource management policies in GPRS wireless internet access systems
机译:
GPRS无线互联网访问系统中的资源管理策略
作者:
Meo M.
;
Marsan M.A.
;
Batetta C.
会议名称:
《Cordless Office》
|
1993年
25.
Efficient state space generation of GSPNs using decision diagrams
机译:
使用决策图高效生成GSPN的状态空间
作者:
Miner A.S.
会议名称:
《Cordless Office》
|
1993年
26.
Recovery and performance balance of a COTS DBMS in the presence of operator faults
机译:
存在操作员故障时,COTS DBMS的恢复和性能平衡
作者:
Vieira M.
;
Madeira H.
会议名称:
《Cordless Office》
|
1993年
27.
Validation and evaluation of a software solution for fault tolerant distributed synchronization
机译:
容错分布式同步软件解决方案的验证和评估
作者:
Ballarini P.
;
Bernardi S.
;
Donatelli S.
会议名称:
《Cordless Office》
|
1993年
28.
Self-organizing systems with self-diagnosability
机译:
具有自我诊断能力的自组织系统
作者:
Yoshida K.
;
Kohda T.
;
Sujaku Y.
会议名称:
《Cordless Office》
|
1993年
29.
Evaluating the security threat of firewall data corruption caused by instruction transient errors
机译:
评估指令瞬时错误导致的防火墙数据损坏的安全威胁
作者:
Shuo Chen
;
Jun Xu
;
Iyer R.K.
;
Whisnant K.
会议名称:
《Cordless Office》
|
1993年
30.
Modeling and quantification of security attributes of software systems
机译:
软件系统安全属性的建模和量化
作者:
Madan B.B.
;
Gogeva-Popstojanova K.
;
Vaidyanathan K.
;
Trivedi K.S.
会议名称:
《Cordless Office》
|
1993年
31.
Transactional rollback for language-based systems
机译:
基于语言的系统的事务回滚
作者:
Rudys A.
;
Wallach D.S.
会议名称:
《Cordless Office》
|
1993年
32.
Time-constrained failure diagnosis in distributed embedded systems
机译:
分布式嵌入式系统中时间受限的故障诊断
作者:
Kandasamy N.
;
Hayes J.P.
;
Murray B.T.
会议名称:
《Cordless Office》
|
1993年
33.
Jaca: a reflective fault injection tool based on patterns
机译:
Jaca:基于模式的反射式故障注入工具
作者:
Martins E.
;
Rubira C.M.F.
;
Leme N.G.M.
会议名称:
《Cordless Office》
|
1993年
34.
Measuring end-user availability on the Web: practical experience
机译:
衡量网络上最终用户的可用性:实践经验
作者:
Merzbacher M.
;
Patterson D.
会议名称:
《Cordless Office》
|
1993年
35.
Advanced pattern recognition for detection of complex software aging phenomena in online transaction processing servers
机译:
先进的模式识别功能,可检测在线交易处理服务器中的复杂软件老化现象
作者:
Cassidy K.J.
;
Gross K.C.
;
Malekpour A.
会议名称:
《Cordless Office》
|
1993年
36.
Stepwise construction and refinement of dependability models
机译:
逐步构建和完善可靠性模型
作者:
Betous-Almeida C.
;
Kanoun K.
会议名称:
《Cordless Office》
|
1993年
37.
Caveat: a tool for software validation
机译:
警告:软件验证工具
作者:
Baudin P.
;
Pacalet A.
;
Raguideau J.
;
Schoen D.
;
Williams N.
会议名称:
《Cordless Office》
|
1993年
38.
An adaptive architecture for monitoring and failure analysis of high-speed networks
机译:
用于监视和故障分析高速网络的自适应体系结构
作者:
Floering B.
;
Brothers B.
;
Kalbarczyk Z.
;
Iyer R.
会议名称:
《Cordless Office》
|
1993年
39.
On the use of disaster prediction for failure-tolerance in feedback control systems
机译:
关于将灾难预测用于反馈控制系统中的容错
作者:
Cunha J.C.
;
Rela M.Z.
;
Silva J.G.
会议名称:
《Cordless Office》
|
1993年
40.
On the placement of software mechanisms for detection of data errors
机译:
关于用于检测数据错误的软件机制的位置
作者:
Hiller M.
;
Jhumka A.
;
Suri N.
会议名称:
《Cordless Office》
|
1993年
41.
An automated approach to increasing the robustness of C libraries
机译:
一种提高C库健壮性的自动化方法
作者:
Fetzer C.
;
Zhen Xiao
会议名称:
《Cordless Office》
|
1993年
42.
Secure INtrusion-Tolerant Replication on the Internet
机译:
Internet上的安全入侵容忍复制
作者:
Cachin C.
;
Poritz J.A.
会议名称:
《Cordless Office》
|
1993年
43.
Coordination of mobile processes with mobile groups
机译:
移动流程与移动组的协调
作者:
Araujo Macedo R.J.
;
Assis Silva F.M.
会议名称:
《Cordless Office》
|
1993年
44.
Quantifying the cost of providing intrusion tolerance in group communication systems
机译:
量化在组通信系统中提供入侵容忍的成本
作者:
Ramasamy H.V.
;
Pandey P.
;
Lyons J.
;
Cukier M.
;
Sanders W.H.
会议名称:
《Cordless Office》
|
1993年
45.
Developing a heterogeneous intrusion tolerant CORBA system
机译:
开发异构入侵容忍CORBA系统
作者:
Sames D.
;
Matt B.
;
Niebuhr B.
;
Tally G.
;
Whitmore B.
;
Bakken D.
会议名称:
《Cordless Office》
|
1993年
46.
Distributed object middleware to support dependable information sharing between organisations
机译:
分布式对象中间件,以支持组织之间可靠的信息共享
作者:
Cook N.
;
Shrivastava S.
;
Wheater S.
会议名称:
《Cordless Office》
|
1993年
47.
Mr. Fusion: a programmable data fusion middleware subsystem with a tunable statistical profiling service
机译:
Fusion先生:具有可调统计分析服务的可编程数据融合中间件子系统
作者:
Franz A.
;
Mista R.
;
Bakken D.
;
Dyreson C.
;
Medidi M.
会议名称:
《Cordless Office》
|
1993年
48.
The design and implementation of an intrusion tolerant system
机译:
入侵容忍系统的设计与实现
作者:
Reynolds J.
;
Just J.
;
Lawson E.
;
Clough L.
;
Maglich R.
;
Levitt K.
会议名称:
《Cordless Office》
|
1993年
49.
Reducing the cost of group communication with semantic view synchrony
机译:
通过语义视图同步降低组通信的成本
作者:
Pereira J.
;
Rodrigues L.
;
Oliveira R.
会议名称:
《Cordless Office》
|
1993年
50.
Probabilistic multicast
机译:
概率多播
作者:
Eugster P.T.
;
Guerraoui R.
会议名称:
《Cordless Office》
|
1993年
51.
Experimental evaluation of a COTS system for space applications
机译:
用于空间应用的COTS系统的实验评估
作者:
Madeira H.
;
Some R.R.
;
Moreira F.
;
Costa D.
;
Rennels D.
会议名称:
《Cordless Office》
|
1993年
52.
Experimental analysis of the errors induced into Linux by three fault injection techniques
机译:
三种故障注入技术对Linux产生的错误的实验分析
作者:
Jarboui T.
;
Arlat J.
;
Crouzet Y.
;
Kanoun K.
会议名称:
《Cordless Office》
|
1993年
53.
A versatile and modular consensus protocol
机译:
通用的模块化共识协议
作者:
Mostefaoui A.
;
Rajsbaum S.
;
Raynal M.
会议名称:
《Cordless Office》
|
1993年
54.
Small byzantine quorum systems
机译:
小型拜占庭仲裁系统
作者:
Martin J.-P.
;
Alvisi L.
;
Dahlin M.
会议名称:
《Cordless Office》
|
1993年
55.
Modeling the effect of technology trends on the soft error rate of combinational logic
机译:
模拟技术趋势对组合逻辑的软错误率的影响
作者:
Shivakumar P.
;
Kistler M.
;
Keckler S.W.
;
Burger D.
;
Alvisi L.
会议名称:
《Cordless Office》
|
1993年
56.
A portable and fault-tolerant microprocessor based on the SPARC v8 architecture
机译:
基于SPARC v8架构的便携式容错微处理器
作者:
Gaisler J.
会议名称:
《Cordless Office》
|
1993年
57.
Track-based disk logging
机译:
基于磁道的磁盘记录
作者:
Tzi-cker Chiueh
;
Lan Huang
会议名称:
《Cordless Office》
|
1993年
58.
DrawNet++: a flexible framework for building dependability models
机译:
DrawNet ++:构建可靠性模型的灵活框架
作者:
Franceschinis G.
;
Gribaudo M.
;
Iacono M.
;
Vittorini V.
;
Bertoncello C.
会议名称:
《Cordless Office》
|
1993年
59.
Libsafe: transparent system-wide protection against buffer overflow attacks
机译:
Libsafe:透明的全系统保护,防止缓冲区溢出攻击
作者:
Tsai T.
;
Singh N.
会议名称:
《Cordless Office》
|
1993年
60.
NFTAPE: networked fault tolerance and performance evaluator
机译:
NFTAPE:网络容错和性能评估器
作者:
Stott D.
;
Jones P.H.
;
Hamman M.
;
Kalbarczyk Z.
;
Iyer R.K.
会议名称:
《Cordless Office》
|
1993年
61.
PhFit: a general phase-type fitting tool
机译:
PhFit:通用的相位型拟合工具
作者:
Bobbio A.
;
Horvath A.
;
Telek M.
会议名称:
《Cordless Office》
|
1993年
62.
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
机译:
SHARPE 2002:符号分层自动可靠性和性能评估器
作者:
Trivedi K.S.
会议名称:
《Cordless Office》
|
1993年
63.
An evaluation of connectivity in mobile wireless ad hoc networks
机译:
对移动无线ad hoc网络中连接性的评估
作者:
Santi P.
;
Blough D.M.
会议名称:
《Cordless Office》
|
1993年
64.
Model checking performability properties
机译:
模型检查性能属性
作者:
Haverkort B.
;
Cloth L.
;
Hermanns H.
;
Katoen J.-P.
;
Baier C.
会议名称:
《Cordless Office》
|
1993年
65.
Formal development of an embedded verifier for Java Card byte code
机译:
Java卡字节码嵌入式验证器的正式开发
作者:
Casset L.
;
Burdy L.
;
Requet A.
会议名称:
《Cordless Office》
|
1993年
66.
Detection of invalid routing announcement in the Internet
机译:
在Internet中检测到无效的路由公告
作者:
Xiaoliang Zhao
;
Dan Pei
;
Lan Wang
;
Massey D.
;
Mankin A.
;
Wu S.F.
;
Lixia Zhang
会议名称:
《Cordless Office》
|
1993年
67.
Model checking safety properties of servo-loop control systems
机译:
伺服回路控制系统的模型检查安全特性
作者:
Johnson M.E.
会议名称:
《Cordless Office》
|
1993年
68.
Proceedings International Conference on Dependable Systems and Networks
机译:
可靠系统和网络国际会议
会议名称:
《Cordless Office》
|
1993年
69.
Exactly-once delivery in a content-based publish-subscribe system
机译:
基于内容的发布-订阅系统中的一次精确交付
作者:
Bhola S.
;
Strom R.
;
Bagchi S.
;
Yuanyuan Zhao
;
Auerbach J.
会议名称:
《Cordless Office》
|
1993年
70.
An adaptive framework for tunable consistency and timeliness using replication
机译:
使用复制实现可调一致性和及时性的自适应框架
作者:
Krishnamurthy S.
;
Sanders W.H.
;
Cukier M.
会议名称:
《Cordless Office》
|
1993年
71.
Generic timing fault tolerance using a timely computing base
机译:
利用及时的计算基础实现通用定时容错
作者:
Casimiro A.
;
Verissimo P.
会议名称:
《Cordless Office》
|
1993年
72.
Performance analysis of a consensus algorithm combining stochastic activity networks and measurements
机译:
结合了随机活动网络和度量的共识算法的性能分析
作者:
Coccoli A.
;
Urban P.
;
Bondavalli A.
;
Schiper A.
会议名称:
《Cordless Office》
|
1993年
73.
Performability analysis of guarded-operation duration: a successive model-translation approach
机译:
守卫操作持续时间的性能分析:连续的模型转换方法
作者:
Tai A.T.
;
Sanders W.H.
;
Alkalai L.
;
Chau S.N.
;
Tso K.S.
会议名称:
《Cordless Office》
|
1993年
74.
An experimental evaluation of the REE SIFT environment for spaceborne applications
机译:
用于航天应用的REE SIFT环境的实验评估
作者:
Whisnant K.
;
Iyer R.K.
;
Jones P.
;
Some R.
;
Rennels D.
会议名称:
《Cordless Office》
|
1993年
75.
Xception
TM
- enhanced automated fault-injection environment
机译:
Xception
TM sup>-增强的自动故障注入环境
作者:
Maia R.
;
Henriques L.
;
Costa D.
;
Madeira H.
会议名称:
《Cordless Office》
|
1993年
76.
Test and development process retrospective - a case study using ODC triggers
机译:
测试和开发过程回顾-使用ODC触发器的案例研究
作者:
Chillarege R.
;
Ram Prasad K.
会议名称:
《Cordless Office》
|
1993年
77.
Application performance assurance using end-to-end user level monitoring
机译:
使用端到端用户级别监控的应用程序性能保证
作者:
Dalal S.
;
Yu-Yun Ho
;
Jain A.
;
McIntosh A.
会议名称:
《Cordless Office》
|
1993年
78.
The scale factor: a new degree of freedom in phase type approximation
机译:
比例因子:相类型近似的新自由度
作者:
Bobbio A.
;
Horvath A.
;
Telek M.
会议名称:
《Cordless Office》
|
1993年
79.
An adaptive decomposition approach for the analysis of stochastic Petri nets
机译:
自适应Petri网分析的自适应分解方法
作者:
Buchholz P.
会议名称:
《Cordless Office》
|
1993年
80.
Parallel randomization for large structured Markov chains
机译:
大型结构化马尔可夫链的并行随机化
作者:
Kemper P.
会议名称:
《Cordless Office》
|
1993年
81.
Reducing recovery time in a small recursively restartable system
机译:
减少小型递归可重新启动系统中的恢复时间
作者:
Candea G.
;
Cutler J.
;
Fox A.
;
Doshi R.
;
Garg P.
;
Gowda R.
会议名称:
《Cordless Office》
|
1993年
82.
A compositional approach to monitoring distributed systems
机译:
监视分布式系统的组合方法
作者:
Zulkernine M.
;
Seviora R.E.
会议名称:
《Cordless Office》
|
1993年
83.
DCC Author Index
机译:
DCC作者索引
会议名称:
《Cordless Office》
|
1993年
84.
IPDS Author Index
机译:
IPDS作者索引
会议名称:
《Cordless Office》
|
1993年
85.
Evaluating the impact of different document types on the performance of web cache replacement schemes
机译:
评估不同文档类型对Web缓存替换方案性能的影响
作者:
Lindemann C.
;
Waldhorst O.P.
会议名称:
《Cordless Office》
|
1993年
86.
A validation of the pseudo self-similar traffic model
机译:
伪自相似流量模型的验证
作者:
El Abdouni Khayari R.
;
Sadre R.
;
Haverkort B.R.
会议名称:
《Cordless Office》
|
1993年
87.
Evaluation of the maximum level reached by a queue over a finite period
机译:
评估队列在有限时间内达到的最大级别
作者:
Rubino G.
会议名称:
《Cordless Office》
|
1993年
88.
Modeling the coverage and effectiveness of fault-management architectures in layered distributed systems
机译:
对分层分布式系统中故障管理体系结构的覆盖范围和有效性进行建模
作者:
Das O.
;
Woodside C.M.
会议名称:
《Cordless Office》
|
1993年
89.
32-bit cyclic redundancy codes for Internet applications
机译:
Internet应用程序的32位循环冗余码
作者:
Koopman P.
会议名称:
《Cordless Office》
|
1993年
90.
Automatic generation of availability models in RAScad
机译:
在RAScad中自动生成可用性模型
作者:
Dong Tang
;
Ji Zhu
;
Andrada R.
会议名称:
《Cordless Office》
|
1993年
91.
Ditto processor
机译:
同上处理器
作者:
Shih-Chang Lai
;
Shih-Lien Lu
;
Lai K.
;
Jih-Kwon Peir
会议名称:
《Cordless Office》
|
1993年
92.
CLAIRE: an event-driven simulation tool for test and validation of software programs
机译:
CLAIRE:一种事件驱动的仿真工具,用于测试和验证软件程序
作者:
Carloganu A.
;
Raguideau J.
会议名称:
《Cordless Office》
|
1993年
93.
C-Sim - the C language enhancement for discrete-time simulation
机译:
C-Sim-离散时间仿真的C语言增强
作者:
Hlavicka J.
;
Racek S.
会议名称:
《Cordless Office》
|
1993年
94.
Edge-based fault detection in a DiffServ network
机译:
DiffServ网络中基于边缘的故障检测
作者:
Striegel A.
;
Manimaran G.
会议名称:
《Cordless Office》
|
1993年
意见反馈
回到顶部
回到首页