掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing
机译:
基于组件的软件的回归测试:基于状态测试的系统实践
作者:
Tao Chuanqi
;
Li Bixin
;
Gao Jerry
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
based software regression testing;
change and impact analysis;
re-test model;
state-based testing;
test suite refreshment;
2.
A Unifying Approach to Validating Specification-Oriented XML Constraints
机译:
验证面向规范的XML约束的统一方法
作者:
Zhao Yongxin
;
Wang Zheng
;
Xiao Hao
;
Ping Jing
;
Pu Geguang
;
He Jifeng
;
Zhu Huibiao
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Constraint Logic;
Validation;
XML;
3.
An Event-B Interpretation for SPARDL Model
机译:
SPARDL模型的事件B解释
作者:
Li Jianwen
;
Wang Zheng
;
Zhao Yongxin
;
Pu Geguang
;
Qi Yanxia
;
Gu Bin
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Event-B;
Requirement Analysis;
SPARDL;
4.
A Behavioral Analysis Approach for Efficient Partial Order Reduction
机译:
有效降低部分阶数的行为分析方法
作者:
Zhang Yingying
;
Rodriguez Emmanuel
;
Zheng Hao
;
Myers Chris
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
behavioral analysis;
compositional verification;
labeled petri-nets;
model checking;
partial order reduction;
5.
Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services
机译:
动画化从Web服务的代数语义中得出操作语义的方法
作者:
Wang Qian
;
Zhu Huibiao
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
6.
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology
机译:
结合目标模型,专家启发和概率模拟以鉴定新技术
作者:
Sabetzadeh Mehrdad
;
Falessi Davide
;
Briand Lionel
;
Alesio Stefano Di
;
McGeorge Dag
;
Åhjem Vidar
;
Borg Jonas
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Assurance Cases;
Expert Elicitation;
Goal Modeling;
Monte Carlo Simulation;
Technology Qualification;
7.
On High-Assurance Scientific Workflows
机译:
关于高保证科学工作流程
作者:
Vouk Mladen A.
;
Mouallem Pierre A.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Kepler;
Scientific workflows;
end-to-end framework;
fault-tolerance;
8.
Integrating Legacy Applications for High Availability: A Case Study
机译:
集成传统应用程序以实现高可用性:一个案例研究
作者:
Kanso A.
;
Khendek F.
;
Mishra A.
;
Toeroe M.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Dependability;
OpenSAF middleware;
availability analysis;
software integration;
9.
Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems
机译:
个人健康档案系统以及与各种电子病历系统的集成技术
作者:
Ved Vishesh
;
Tyagi Vivek
;
Agarwal Ankur
;
Pandya A.S.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
CDO (care delivery organizations);
EHR (Electronic health records);
EMR (Electronic medical records);
Personal Health Record System;
10.
The OASIS Kernel: A Framework for High Dependability Real-Time Systems
机译:
OASIS内核:高可靠性实时系统的框架
作者:
Louise Stephane
;
Lemerre Matthieu
;
Aussagues Christophe
;
David Vincent
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
kernel;
real-time;
safety critical;
11.
Conflict Detection and Lifecycle Management for Access Control in Publish/Subscribe Systems
机译:
发布/订阅系统中访问控制的冲突检测和生命周期管理
作者:
Hein Patrick
;
Biswas Debmalya
;
Martucci Leonardo A.
;
Muhlhauser Max
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Access control policies;
Conflict detect and resolution;
Lifecycle management;
Publish/subscribe systems;
12.
Discriminatively Fortified Computing with Reconfigurable Digital Fabric
机译:
可重构的数字结构可区别地强化计算
作者:
Lin Mingjie
;
Bai Yu
;
Wawrzynek John
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Fortified computing;
fault-tolerance;
redundancy allocation;
robustness;
13.
Enumerating Software Failures to Build Dependable Distributed Applications
机译:
枚举软件故障以构建可靠的分布式应用程序
作者:
Buckley Ingrid
;
Fernandez Eduardo B.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Dependability;
policies;
reliability;
reliability patterns;
software lifecycle;
software patterns;
14.
Leader-Determined Membership Protocol
机译:
领导者确定的成员资格协议
作者:
Zhao Wenbing
;
Melliar-Smith P.M.
;
Moser L.E.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
distributed systems;
fault tolerance;
membership;
process group;
replication;
virtual synchrony;
15.
Reducing State Explosion with Context Modeling for Model-Checking
机译:
使用上下文建模减少状态爆炸以进行模型检查
作者:
Dhaussy Philippe
;
Roger Jean-Charles
;
Boniol Frederic
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
context;
model-checking;
use cases;
16.
Guidelines for Formal Domain Modeling in Event-B
机译:
事件B中的正式域建模准则
作者:
Mashkoor Atif
;
Jacquot Jean-Pierre
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Domain modeling;
Event-B;
Formal methods;
17.
Patterns for Representing FMEA in Formal Specification of Control Systems
机译:
控制系统形式规范中表示FMEA的模式
作者:
Lopatkin Ilya
;
Iliasov Alexei
;
Romanovsky Alexander
;
Prokhorova Yuliya
;
Troubitsyna Elena
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Event-B;
FMEA;
control systems;
formal specification;
patterns;
safety;
18.
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator
机译:
君主:一种高度保证的Java到Java(J2j)源代码迁移器
作者:
Winter Victor L.
;
Guerrero Jonathan
;
Reinke Carl
;
Perry James T.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Java;
embedded systems;
migration;
program transformation;
19.
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective
机译:
小组概率视角的移动自组织网络演算
作者:
Liu Si
;
Zhao Yongxin
;
Zhu Huibiao
;
Li Qin
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Formal Modeling;
Mobile Ad Hoc Networks;
Open Bisimulation;
Operational Semantics;
Probability;
20.
A Real Time Window-Based Local Call Admission Control Algorithm for IP Networks
机译:
IP网络中基于实时窗口的本地呼叫准入控制算法
作者:
Alwakeel Sami S.
;
AlGhanmi Shaker S.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Assurance techniques for IP networks;
Call Admission Control;
IP traffic policing;
QOS in IP networks;
Window-based admission control;
21.
Anytime Available Single IP Address Cluster
机译:
随时可用的单个IP地址群集
作者:
Fujita Hajime
;
Ishikawa Yutaka
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
22.
Autonomous Online Expansion Technology for ZigBee Wireless Sensor Networks
机译:
ZigBee无线传感器网络的自主在线扩展技术
作者:
Haque Md. Emdadul
;
Wei Fan
;
Gouda Takehiro
;
Lu Xiaodong
;
Mori Kinji
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
IEEE 802.15.4;
ZigBee;
online expansion;
orphan problem;
wireless sensor network;
23.
A Security Modelling Framework for Systems of Embedded Components
机译:
嵌入式组件系统的安全建模框架
作者:
Mana Antonio
;
Ruiz Jose Fran.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
embedded systems;
engineering process;
security modelling;
24.
On the Relationship between Preprocessor-Based Software Variability and Software Defects
机译:
基于预处理器的软件变异性与软件缺陷之间的关系
作者:
Nie Kunming
;
Zhang Li
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Correlation Analysis;
Preprocessor;
Software Defect;
Variability Analysis;
25.
Towards a Security Domain Model for Embedded Systems
机译:
建立嵌入式系统的安全域模型
作者:
Nadjm-Tehrani Simin
;
Vasilevskaya Maria
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
embedded system design;
modelling;
security;
26.
A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study
机译:
基于任务的代码审查流程和工具,可满足空中交通管理软件开发的DO-278 / ED-109标准:工业案例研究
作者:
Bernhart Mario
;
Reiterer Stefan
;
Matt Kilian
;
Mauczka Andreas
;
Grechenig Thomas
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Air Traffic Management;
DO-278;
ED-109;
code inspection;
code review;
27.
Self-Healing Data Exchange Process under Evolving Schemas: A New Mapping Adaptation Approach Based on Self-Optimization
机译:
演化模式下的自愈数据交换过程:一种基于自优化的映射自适应新方法
作者:
Assoudi H.
;
Lounis H.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
autonomic computing;
data exchange;
dependability;
fault tolerance;
machine learning;
mapping adaptation;
schema mapping;
schema matching;
selfmanaged systems;
sufficient correctness;
28.
Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services
机译:
旨在提高安全Web服务性能的密码算法的比较和分析
作者:
Rodrigues Douglas
;
Pigatto Daniel F.
;
Estrella Julio C.
;
Branco Kalinka R.L.J.C.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Performance.;
SOA;
Security;
29.
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience
机译:
使用SysML对安全关键软件-硬件接口进行建模:准则和行业经验
作者:
Sabetzadeh Mehrdad
;
Nejati Shiva
;
Briand Lionel
;
Mills Anne-Heidi Evensen
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Model Driven Engineering;
Safety Certification;
Safety-Critical Systems;
Software-Hardware Interfaces;
SysML;
Traceability;
30.
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems
机译:
早期设计阶段基于UML的高保证软件系统安全分析方法
作者:
Mutha Chetan
;
Smidts Carol
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
UML design analysis;
safety analysis;
software fault propagation;
31.
Worst Case Temporal Consistency in Integrated Modular Avionics Systems
机译:
集成模块化航空电子系统中最坏情况下的时间一致性
作者:
Lauer Michaël
;
Ermont Jerome
;
Boniol Frederic
;
Pagetti Claire
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Real-time distributed systems;
safety requirements;
tagged signal model;
worst-case timing analysis;
32.
High-Assurance Reconfigurable Multicore Processor Based Systems
机译:
基于高保证性的可重构多核处理器的系统
作者:
Peshave Manasi
;
Bastani Farokh B.
;
Yen I-Ling
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Markov model;
Multicore;
Reconfigurable Chip Multicore Processors (CMP);
Reliabiltiy;
Soft Errors;
Transient faults;
33.
Ensemble Coordination for Discrete Event Control
机译:
离散事件控制的整体协调
作者:
Sloan John C.
;
Khoshgoftaar Taghi M.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Petri nets;
discrete event control;
distributed control;
ensemble coordination;
ensemble evolution;
34.
Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability
机译:
使用特征选择确定振动信号的小波包分解的最佳深度,以确保海洋系统的可靠性
作者:
Wald Randall
;
Khoshgoftaar Taghi M.
;
Sloan John C.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
MCM/PHM;
feature selection;
vibration monitoring;
wavelet packet decomposition;
35.
A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring
机译:
海洋涡轮原型测功机:通过自动监控的可靠性
作者:
Duhaney Janell
;
Khoshgoftaar Taghi M.
;
Sloan John C.
;
Alhalabi Bassem
;
Beaujean Pierre P.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
condition monitoring;
dynamometer;
ocean turbine;
predictive health monitoring;
sensor fusion;
36.
Smart Vibration Monitoring System for an Ocean Turbine
机译:
海洋轮机智能振动监测系统
作者:
Mjit Mustapha
;
Beaujean Pierre-Philippe J.
;
Vendittis David J.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Diagnostics;
Dynamometer;
Monitoring;
Ocean Turbine;
Vibration;
37.
An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing
机译:
虚拟TMR系统的可用性模型及其在云/集群计算中的应用
作者:
Paharsingh Ricardo
;
Das Olivia
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Availability Modelling;
Triple Modular Redundancy (TMR);
Virtualization;
38.
Efficient System Reliability with Correlated Component Failures
机译:
具有相关组件故障的高效系统可靠性
作者:
Fiondella Lance
;
Rajasekaran Sanguthevar
;
Gokhale Swapna S.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
39.
Benchmarking Embedded Software Development Project Performance
机译:
评估嵌入式软件开发项目的绩效
作者:
Siok Michael F.
;
Tian Jeff
会议名称:
《》
|
2011年
关键词:
Best-in-class;
Data Envelopment Analysis (DEA);
internal benchmarking;
software process improvement;
software productivity;
software reliability;
40.
Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process
机译:
使用马尔可夫决策过程在面向服务的体系结构中建模恢复策略
作者:
Lee Dongeun
;
Shin Heonshik
;
Park Eunjeong
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Markov decision process;
cost optimization in service selection;
fault-handling;
runtime re-composition;
service-oriented architecture;
41.
Multi-layer Monitoring for Cloud Computing
机译:
云计算的多层监控
作者:
Gonz´lez Javier
;
Munoz Antonio
;
Mana Antonio
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Accounting;
Cloud Computing;
Dynamic Monitoring;
Event-Sequence Language;
Monitoring;
Monitoring rules;
Security;
Virtualization;
component;
42.
Using Automated Control Charts for the Runtime Evaluation of QoS Attributes
机译:
使用自动化控制图进行QoS属性的运行时评估
作者:
Amin Ayman
;
Colman Alan
;
Grunske Lars
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Quality of Service;
Runtime Adaptation;
Runtime Monitoring;
Statistical Control Charts;
43.
VMDetector: A VMM-based Platform to Detect Hidden Process by Multi-view Comparison
机译:
VMDetector:基于VMM的平台,可通过多视图比较来检测隐藏过程
作者:
Wang Ying
;
Hu Chunming
;
Li Bo
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
hidden process detection;
multi-view;
multi-view comparison;
virtualization;
44.
Validation of Object Recognition Framework on Android Mobile Platform
机译:
Android Mobile平台上对象识别框架的验证
作者:
Tyagi Vivek
;
Pandya A.S.
;
Agarwal Ankur
;
Alhalabi Bassem
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
45.
A Testing Service for Lifelong Validation of Dynamic SOA
机译:
动态SOA终生验证的测试服务
作者:
Ceccarelli Andrea
;
Vieira Marco
;
Bondavalli Andrea
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
BPEL;
SOA;
dynamic;
robustness;
testing;
46.
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models
机译:
在UML需求模型中支持鲁棒性运营合同的迭代开发
作者:
Sun Wuliang
;
France Robert B.
;
Ray Indrakshi
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Operation Contract;
Requirement Modeling;
47.
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis
机译:
通过自动路径可行性分析提高在EFSM上生成测试用例的效率
作者:
Yang Rui
;
Chen Zhenyu
;
Xu Baowen
;
Wong W. Eric
;
Zhang Jie
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
EFSM model-based testing;
executable model;
path feasibility analysis;
test case generation;
test oracle;
48.
Model Driven Validation of System Architectures
机译:
模型驱动的系统架构验证
作者:
Pfluger Andre
;
Golubski Wolfgang
;
Queins Stefan
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
UML;
architecture;
model-driven;
validation;
49.
On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault Classes
机译:
狼蛛断层定位技术在不同断层类别中的有效性
作者:
Bandyopadhyay Aritra
;
Ghosh Sudipto
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Tarantula;
fault classes;
fault localization;
50.
GUI Software Fault Localization Using N-gram Analysis
机译:
使用N-gram分析的GUI软件故障定位
作者:
Yu Zhongxing
;
Hu Hai
;
Bai Chenggang
;
Cai Kai-Yuan
;
Wong W. Eric
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
GUIs;
N-gram analysis;
event handler;
event sequences;
fault localization;
51.
Software-Based Instrumentation for Localization of Faults Caused by Electrostatic Discharge
机译:
基于软件的静电放电故障定位仪器
作者:
Maheshwari Pratik
;
Seol Byong-Su
;
Lee Jong-Sung
;
Lim Jae-Deok
;
Sedigh Sahra
;
Pommerenke David
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
electromagnetic interference;
electrostatic discharge;
embedded systems;
fault localization;
software instrumentation;
52.
Bug Signature Minimization and Fusion
机译:
错误签名最小化和融合
作者:
Lo David
;
Cheng Hong
;
Wang Xiaoyin
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Bug Signature;
Debugging;
Discriminative Pattern Mining;
Fusion;
Graph Mining;
Minimization;
53.
So Much to Learn from One Accident Crash of 737 on 25 February 2009
机译:
从2009年2月25日的一次737坠机事故中可以汲取很多
作者:
Hecht Herbert
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
aircraft safety;
failure reporting;
human factors;
radio altimeter;
54.
Effects of User Habituation in Keystroke Dynamics on Password Security Policy
机译:
击键动态中用户习惯对密码安全策略的影响
作者:
Syed Zahid
;
Banerjee Sean
;
Cheng Qi
;
Cukic Bojan
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Keystroke Dynamics;
Soft biometrics;
User Authentication;
55.
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
机译:
DNS带宽放大攻击的形式分析和概率模型检查对策
作者:
Deshpande Tushar
;
Katsaros Panagiotis
;
Basagiannis Stylianos
;
Smolka Scott A.
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
DDoS;
DNS;
Probabilistic Model Checking;
56.
Transforming Privacy Policies to Auditing Specifications
机译:
将隐私政策转变为审核规范
作者:
Biswas Debmalya
;
Niemi Valtteri
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
Auditing;
Minimal logging;
Privacy policies;
Temporal first order logic;
57.
Verification of Interoperability Security Policies by Model Checking
机译:
通过模型检查验证互操作性安全策略
作者:
Maarabani Mazen El
;
Cavalli Ana
;
Hwang Iksoon
;
Zaidi Fatiha
会议名称:
《2011 IEEE 13th International Symposium on High-Assurance Systems Engineering》
|
2011年
关键词:
LTL;
OrBAC;
interoperability security policy;
model-checking;
意见反馈
回到顶部
回到首页