掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE High Assurance Systems Engineering Symposium
IEEE High Assurance Systems Engineering Symposium
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Multi-Periodic Synchronous Data-Flow Language
机译:
多定期同步数据流语言
作者:
Forget Julien
;
Boniol Fr
;
d
;
ric
;
Lesens David
;
Pagetti Claire
;
#x0E9
;
#x0E9
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Data-flow;
Multi-periodic;
Synchronous;
clocks;
compilation;
2.
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking
机译:
线性混合自动机的有界可达性分析的随机放松抽象:模型检查中的分布式随机抽象
作者:
Jha Sumit Kumar
;
Jha Susmit
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Cyber-Physical Systems;
Distributed Algorithms;
Hybrid Systems;
Johnson Lindenstrauss lemma;
Linear Hybrid Automata;
Model Checking;
Randomized Algorithms;
Verification;
3.
A Novel Ripple-Based Context-Cognizant Service Discovery Method in Autonomous Decentralized Community System
机译:
自主分散社区系统中的一种新型纹波上下文 - 认识服务发现方法
作者:
Mahmood Khalid
;
Niki Satoshi
;
Lu Xiaodong
;
Mori Kinji
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Autonomous Decentralized Community System;
Community Pervasive Service;
Community Time-distance-oriented Information Environment;
Context-cognizant Service Discovery;
4.
Reliability Design for Large Scale Storage Systems
机译:
大型存储系统的可靠性设计
作者:
Du Kai
;
Wang Huaimin
;
Yang Shuqiang
;
Chen Yingwen
;
Wen Yan
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
data reliability;
large-scale storage system;
reliability model;
5.
Low Cost Secure Computation for the General Client-Server Computation Model
机译:
常规客户端 - 服务器计算模型的低成本安全计算
作者:
Xiao Liangliang
;
Yen I-Ling
;
Bastani Farokh
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Secure computation;
eigenvalue;
large integer factorization problem;
6.
Path Sensitive Analysis for Security Flaws
机译:
安全漏洞的路径敏感分析
作者:
Soffa Mary Lou
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
buffer overflow;
detecting security flaws;
integer constraints;
path-sensitive analysis;
7.
Towards Secure Trust Bootstrapping in Pervasive Computing Environment
机译:
在普遍的计算环境中实现安全信任自动启动
作者:
Ahamed Sheikh I.
;
Hoque Endadul
;
Rahman Farzana
;
Zulkernine Mohammad
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
innitial trust;
pervacive computing;
security;
8.
Checking Inconsistency of Rule Sets in Active Real-Time Databases
机译:
检查处于活动实时数据库中规则集的不一致
作者:
Zhang Jian
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
ECA rules;
active databases;
consistency checking;
constraint solving;
real-time databases;
9.
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models
机译:
AADL错误附件和故障传播模型基于架构的安全评估方法的比较研究
作者:
Grunske Lars
;
Han Jun
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
AADL;
Architecture Evaluation;
CFT;
Error Annex;
Quality;
SETF. FPTN;
failure;
safety;
10.
Assurance Technology of System Test Based on Operators' Aspects
机译:
基于运营商方面的系统测试保证技术
作者:
Matsumoto Masayuki
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
on-line test;
operator needs;
11.
Localizing Program Errors via Slicing and Reasoning
机译:
通过切片和推理本地化程序错误
作者:
Pu Fei
;
Zhang Yan
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Constraint;
Counterexample;
Error Localization;
Model Checking;
Reasoning;
12.
Securing Sensor Nodes Against Side Channel Attacks
机译:
防止传感器节点以防止侧频攻击
作者:
Pongaliur Kanthakumar
;
Abraham Zubin
;
Liu Alex X.
;
Xiao Li
;
Kempel Leo
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Network;
Security;
Sensor;
Side-Channel;
13.
A Fast Performance Analysis Tool for Multicore, Multithreaded Communication Processors
机译:
用于多芯,多线程通信处理器的快速性能分析工具
作者:
Jung Hun
;
Ju Miao
;
Che Hao
;
Wang Zhijun
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
code path;
communication processor;
multicore;
multithread;
14.
On the Use of Security Metrics Based on Intrusion Prevention System Event Data: An Empirical Analysis
机译:
基于入侵防御系统事件数据的安全指标的使用:实证分析
作者:
Chrun Danielle
;
Cukier Michel
;
Sneeringer Gerry
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Empirical Analysis;
Intrusion Prevention System;
Security Metrics;
15.
The Deployment of a Darknet on an Organization-Wide Network: An Empirical Analysis
机译:
在组织范围内部署DarkNet:实证分析
作者:
Berthier Robin
;
Cukier Michel
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
coverage;
darknet;
organisation's network;
scan;
16.
A Low Energy Soft Error-Tolerant Register File Architecture for Embedded Processors
机译:
用于嵌入式处理器的低能量软差错寄存器文件架构
作者:
Fazeli M.
;
Ahmadian S.N.
;
Miremadi S.G.
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
17.
A Grammar-Based Reverse Engineering Framework for Behavior Verification
机译:
基于语法的行为验证的逆向工程框架
作者:
Zhao Chunying
;
Zhang Kang
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Behavior verification;
Graph grammar;
Reverse engineering;
18.
Methodology for Service-Oriented Management of Security Assurance in Communication Infrastructures
机译:
面向服务的安全保障管理的方法论
作者:
Zuccato Albin
;
Dubus Samuel
;
Bulut Evren
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Bugyo;
Continous Security Assurance;
19.
Privacy, Preservation and Performance: The 3 P's of Distributed Data Management
机译:
隐私,保存和性能:分布式数据管理的3个P
作者:
Mungamuru Bobji
;
Garcia-Molina Hector
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
performance;
preservation;
privacy;
20.
An Integrated Model to Analyze Cryptographic Protocols with Colored Petri Nets
机译:
用彩色Petri网分析加密协议的集成模型
作者:
Wei Jin
;
Su Guiping
;
Xu Meng
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Colored Petri nets;
Cost-based Framework;
Just Fast Keying protocol (JFK);
21.
Synopsis of Evaluating Security Controls Based on Key Performance Indicators and Stakeholder Mission Value
机译:
基于关键绩效指标和利益相关者任务价值评估安全控制的概要
作者:
Abercrombie Robert K.
;
Sheldon Frederick T.
;
Mili Ali
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Cyber Security;
Cyber Security Metrics;
Cyber Threat;
Key Performance Indicators;
Security Controls;
Stakeholder Mission Value;
Vulnerability and Risk Assessment;
22.
Evaluating Security Risks following a Compliance Perspective
机译:
按合规范评估安全风险
作者:
Correia Reinaldo de Barros
;
Pirmez Luci
;
Carmo Luiz Fernando Rust da Costa
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
23.
A Scalable Checkpoint Encoding Algorithm for Diskless Checkpointing
机译:
无无盘式检查点的可扩展检查点编码算法
作者:
Chen Zizhong
;
Dongarra Jack
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Checkpoint;
Reed-Solomon encoding;
diskless checkpointing;
fault tolerance;
high performance computing;
parallel and distributed systems;
24.
DPAC: A Reuse-Oriented Password Authentication Framework for Improving Password Security
机译:
DPAC:以重用为导向的密码身份验证框架,用于提高密码安全性
作者:
Wang Hua
;
Guo Yao
;
Chen Xiangqun
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
DPAC;
Password Authentication;
Reuse;
Security;
25.
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination
机译:
交易服务的小日志:区分比(正)歧视更准确
作者:
Biswas Debmalya
;
Gazagnaire Thomas
;
Genest Blaise
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Small Logs;
Web Services;
minimal marker placement;
observability;
26.
A Few Remarks about Formal Development of Secure Systems
机译:
关于安全系统正式发展的一些评论
作者:
Jaeger
;
ric
;
Hardin Th
;
r
;
se
;
#x0E8
;
#x0C9
;
#x0E9
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
B;
Co;
Formal Methods;
Security;
27.
Randomization Based Probabilistic Approach to Detect Trojan Circuits
机译:
基于随机检测木马电路的概率方法
作者:
Jha Susmit
;
Jha Sumit Kumar
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Randomized Algorithm;
Trojan Circuits;
28.
On the Integrity of Lightweight Checkpoints
机译:
关于轻量级检查点的完整性
作者:
Barbosa Raul
;
Karlsson Johan
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
checkpointing;
embedded systems;
fault tolerance;
model checking;
29.
Security Goal Indicator Trees: A Model of Software Features that Supports Efficient Security Inspection
机译:
安全目标指示树:一种支持高效安全检查的软件功能模型
作者:
Peine Holger
;
Jawurek Marek
;
Mandel Stefan
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
inspection;
security;
security analysis;
security engineering;
software engineering;
30.
Verification of Exception Control Flows and Handlers Based on Architectural Scenarios
机译:
基于体系结构方案验证异常控制流程和处理程序
作者:
#x0E9
;
#x0ED
;
Brito Patrick Henrique da Silva
;
Lemos Rog
;
rio de
;
Rubira Cecil
;
a Mary Fischer
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Architectural exception handling;
Formal verification of abnormal behaviour;
Formal verification of software architectures;
Software architecture;
31.
HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks
机译:
Hypermip:虚拟机控制移动IP用于跨网络的虚拟机实时迁移
作者:
Li Qin
;
Huai Jinpeng
;
Li Jianxin
;
Wo Tianyu
;
Wen Minxiong
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Hypervisor;
Live Migration;
Mobile IP;
Virtual Machine;
32.
A Self-Managing Brokerage Model for Quality Assurance in Service-Oriented Systems
机译:
以服务为导向系统质量保证的自我管理经纪模型
作者:
Robinson Daniel
;
Kotonya Gerald
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Monitoring;
Negotiation;
Quality of Service;
Service-Oriented Architecture;
Software Composition;
33.
On the Comparison of Network Attack Datasets: An Empirical Analysis
机译:
关于网络攻击数据集的比较:实证分析
作者:
Berthier Robin
;
Korman Dave
;
Cukier Michel
;
Hiltunen Matti
;
Vesonder Gregg
;
Sheleheda Daniel
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
corporate and academic network;
empirical study;
global alerts;
honeypots;
malicious activity;
34.
Detection and Diagnosis of Recurrent Faults in Software Systems by Invariant Analysis
机译:
不变分析检测和诊断软件系统中的经常性故障
作者:
Jiang Miao
;
Munawar Mohammad A.
;
Reidemeister Thomas
;
Ward Paul A.S.
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
error detection;
fault diagnosis;
metric correlations;
neural network;
system invariants;
35.
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code
机译:
将SPI微积分协议规范的正式细化为Java代码
作者:
Pironti Alfredo
;
Sisto Riccardo
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Correctness preserving code generation;
Formal methods;
Model-based software development;
Security protocols;
36.
Layered Memory Architecture for High IO Intensive Information Services to Achieve Timeliness
机译:
用于高IO密集型信息服务的分层内存架构实现及时性
作者:
Takahashi Hironao
;
Ahmad Hafiz Farooq
;
Mori Kinji
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Block IO device;
Bonnie Bench mark program;
DTS (Data Transmission System) cache;
IOPS;
Locality of reference;
Timeliness;
Write back cache;
iSCSI protocol.;
37.
Towards the Service Composition Through Buses
机译:
通过公共汽车向服务组成
作者:
Li Qin
;
Zhu Huibiao
;
He Jifeng
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Buses;
Denotational Semantics;
SOA;
Service Composition;
38.
Architecture Centric System Design for Supporting Reconfiguration of Service Oriented Systems
机译:
建筑为中心的系统设计,用于支持面向服务的服务重新配置
作者:
Chu Wang
;
Qian Depei
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Architecture centric system design;
Service oriented systems;
System reconfiguration.;
System reliability;
39.
A Timed Extension of Property Sequence Chart
机译:
属性序列图的定时扩展
作者:
Zhang Pengcheng
;
Li Bixin
;
Sun Mingjie
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
40.
Transaction Calculus
机译:
交易微积分
作者:
He Jifeng
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
41.
Secure, Highly Available, and High Performance Peer-to-Peer Storage Systems
机译:
安全,高可用性和高性能的对等存储系统
作者:
Ye Yunqi
;
Yen I-Ling
;
Xiao Liangliang
;
Thuraisingham Bhavani
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
access protocols;
distributed hash table;
distributed storage systems;
erasure coding;
secret sharing;
42.
A Fine-Grained Damage Management Scheme in a Self-Healing PostgreSQL System
机译:
一种在自我修复PostgreSQL系统中的细粒度损伤管理方案
作者:
Bai Kun
;
Liu Peng
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Availability;
Damage Management;
Database Security;
Recovery;
43.
Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach
机译:
从面向合同的规格自动生成测试用例:基于CSP的方法
作者:
Belhaouari Hakim
;
Peschanski Frederic
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Constraints Satisfaction Problems;
automated testing;
contract animation;
design by contract;
model-based testing;
string builders;
type builders;
44.
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
机译:
通过使用可执行的正式规范,帮助模块化设计和验证安全关键时断系统
作者:
#x0E9
;
Sakurai Kohei
;
Bokor P
;
ter
;
Suri Neeraj
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
model checking;
scheduling;
simulation;
testing;
time-triggered systems;
verification;
45.
Automotive Safety Case A Qualitative Case Study of Drivers, Usages, and Issues
机译:
汽车安全案例对司机,用法和问题的定性案例研究
作者:
T
;
rner Fredrikauthor_name/
;
hman Peter
;
#x0D6
;
#x0F6
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
automotive;
empirical;
safety case;
46.
Software Quality Improvement via Pattern-Based Model Refactoring
机译:
通过基于模式的模型重构的软件质量改进
作者:
Kim Dae-Kyoo
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Design pattern;
UML;
model refactoring;
software quality;
47.
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques
机译:
用于使用AI规划技术合成的高保证程序的循环不变的自动发现
作者:
Fu Jicheng
;
Bastani Farokh B.
;
Yen I-Ling
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
AI Planning;
Loop Invariant;
Program Synthesis;
48.
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
机译:
容错移动临时网络中的功率优化
作者:
Riganelli Oliviero
;
Grosu Radu
;
Das Samir R.
;
Ramakrishnan C.R.
;
Smolka Scott A.
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
MANET;
Sensor Network;
Topology Control;
k-connectivity;
49.
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
机译:
正式支持安全关键系统中剩余风险的定量分析
作者:
Elmqvist Jonas
;
Nadjm-Tehrani Simin
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
50.
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL
机译:
使用UPPAAL设计,建模和验证集装箱终端系统
作者:
Zu Quan
;
Zhang Miaomiao
;
Liu Jing
;
Du Qingfeng
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Container terminal system;
Model checking;
51.
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models
机译:
Jasmine:具有UML行为模型的模型驱动运行时验证的工具
作者:
Zhou Zhou
;
Wang Linzhang
;
Cui Zhanqi
;
Chen Xin
;
Zhao Jianhua
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Eclipse Framework;
Insrument;
Plug-in;
Runtime Verification;
UML Behavioral Model;
52.
Mutation-Based Testing of Format String Bugs
机译:
基于突变的格式字符串错误测试
作者:
Shahriar Hossain
;
Zulkernine Mohammad
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Format String Bugs;
Mutation-based Testing;
Test data adequacy;
53.
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications
机译:
基于交互的测试序列生成方法,用于测试Web应用程序
作者:
Wang Wenhua
;
Sampath Sreedevi
;
Lei Yu
;
Kacker Raghu
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Software Testing;
Web Application Testing;
54.
A Novel Model for Component-Based Software Reliability Analysis
机译:
基于组件的软件可靠性分析的新模型
作者:
Zhang Fan
;
Zhou Xingshe
;
Chen Junwen
;
Dong Yunwei
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
55.
A New Fault-Tolerant Wormhole Routing Scheme in Tori with Convex Faults
机译:
具有凸面断层的Tori中的一种新的容错虫孔路由方案
作者:
Xie Lingfu
;
Xu Du
;
Yao Qing
;
Song Lei
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
revised convex faults;
tori;
turn model;
two-level-turn-model;
56.
At What Level of Granularity Should We be Componentizing for Software Reliability?
机译:
在软件可靠性方面,我们应该在什么级别的粒度进行粒度?
作者:
Mohamed Atef
;
Zulkernine Mohammad
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
关键词:
Componentization;
architectural design decisions;
component reliability;
failure criticalities;
level of decomposition;
57.
Using Multi-Level Security Annotations to Improve Software Assurance
机译:
使用多级安全注释来提高软件保证
作者:
Kylikowski Eryk
;
Scandariato Riccardo
;
Joosen Wouter
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
58.
Formalize UML 2 Sequence Diagrams
机译:
正式化UML 2序列图
作者:
Shen Hui
;
Virani Aliya
;
Niu Jianwei
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2008年
59.
On Exceptions, Exception Handling, Requirements and Software Lifecycle
机译:
在例外,例外处理,要求和软件生命周期
作者:
Romanovsky Alexander
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
60.
On Exceptions, Exception Handling, Requirements and Software Lifecycle
机译:
在例外,例外处理,要求和软件生命周期
作者:
Alexander Romanovsky
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
61.
All-Optical Routing for High Assurance Computer Systems
机译:
高保证计算机系统的全光路由
作者:
Okorafor Ekpe
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
62.
High Assurance GPS Integrity Monitoring System Using Particle Filtering Approach
机译:
高保证GPS完整性监测系统使用粒子过滤方法
作者:
Jeong-Oog Lee
;
Dae Hee Won
;
Sangkyung Sung
;
Tae Sam Kang
;
Young Jae Lee
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
63.
Advances in Quantum Computing Fault Tolerance and Testing
机译:
量子计算容错与测试的进步
作者:
David Y. Feinstein
;
V. S. S. Nair
;
Mitchell A. Thornton
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
64.
A Mobile Agent-based Multi-Robot Design Method for High-Assurance
机译:
基于移动代理的多机器人设计方法,用于高保证
作者:
Shin. Sung-Oog
;
Lee. Jung-Oog
;
Baik. Doo-Kwon
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
65.
Design of a Fairness Guarantee Mechanism Based on Network Measurement
机译:
基于网络测量的公平保障机制设计
作者:
Wang Xin
;
Zhang Xiaochen
;
Yang Shuang
;
Xue Xiangyang
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
关键词:
Round Trip Time (RTT);
fairness;
real-time business;
66.
A Fault Taxonomy for Service-Oriented Architecture
机译:
面向服务架构的故障分类
作者:
Bruning Stefan
;
Weissleder Stephan
;
Malek Miroslaw
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
67.
A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance
机译:
一种用于网络监控的时隙序列的非参数CuSum算法
作者:
Zhang Qi
;
Rendon Carlos
;
Oca Veronica Montes De
;
Jeske Prof. Daniel R.
;
Marvasti Dr. Mazda
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
68.
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems
机译:
在高保证系统中的软件自动测试数据生成和可靠性评估
作者:
Branson W. Murrill
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
69.
Duplication Based Integrated Task and Message Scheduling on a Heterogeneous Network of Workstations (NOWs)
机译:
基于复制的工作站异构网络的集成任务和消息调度(现在)
作者:
Auluck Nitin
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
70.
A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications
机译:
安全关键应用中的COTS微处理器安全分析框架
作者:
Lee Jason D.
;
Bhojwani Praveen S.
;
Mahapatra Rabi N.
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
71.
Towards a High Assurance Secure Computing Platform
机译:
迈向高保证安全计算平台
作者:
Michael D. DiRossi
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
72.
High-Assurance Distributed, Adaptive Software for Dynamic Systems
机译:
高保证分布式,动态系统的自适应软件
作者:
Kurt Rohloff
;
Joseph Loyall
;
Partha Pal
;
Richard Schantz
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
73.
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
机译:
模糊Wi-Fi驱动程序来定位安全漏洞
作者:
Manuel Mendonca
;
Nuno Ferreira Neves
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
74.
A Secure and Scalable Update Protocol for P2P Data Grids
机译:
用于P2P数据网格的安全和可伸缩的更新协议
作者:
Manghui Tu
;
Nasser Tadayon
;
Zhonghang Xia
;
Enyue Lu
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
75.
Analytic Model for Web Anomalies Classification
机译:
Web异常分类分析模型
作者:
Alaeddine Nasser
;
Tian Jeff
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
76.
A Formal Approach to Website Maintenance
机译:
网站维护的正式方法
作者:
Lihua Duan
;
Jessica Chen
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
关键词:
Formal verification;
Labelled transition systems;
Tree automata;
Reverse engineering;
77.
Building High Assurance Multidisciplinary Design Optimization Framework
机译:
建立高保证多学科设计优化框架
作者:
Lee Jeong-Oog
;
Lee Ho-Jun
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
78.
A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications to Network Surveillance
机译:
一种用于网络监控的时隙序列的非参数CuSum算法
作者:
Qi Zhang
;
Carlos Rendon
;
Veronica Montes De Oca
;
Daniel R. Jeske
;
Mazda Marvasti
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
79.
Preliminary Models of the Cost of Fault Tolerance
机译:
容错成本的初步模型
作者:
Ronald J. Leach
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
80.
Preliminary Models of the Cost of Fault Tolerance
机译:
容错成本的初步模型
作者:
Leach Ronald J.
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
81.
Information Assurance Architecture with Storyboarding Models
机译:
具有故事板模型的信息保证架构
作者:
Asesh Das
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
82.
High-Assurance Distributed, Adaptive Software for Dynamic Systems
机译:
高保证分布式,动态系统的自适应软件
作者:
Rohloff Kurt
;
Loyall Joseph
;
Pal Partha
;
Schantz Richard
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
83.
Design of a fairness guarantee mechanism based on network measurement
机译:
基于网络测量的公平保障机制设计
作者:
Xin Wang
;
Xiaochen Zhang
;
Shuang Yang
;
Xiangyang Xue
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
关键词:
Fairness;
Round Trip Time (RTT);
Real-time business;
84.
Methodology for Evaluating Aeronautical Regulations using Formal Specifications
机译:
使用正式规格评估航空法规的方法
作者:
Ruiz Eduardo Rafael Lopez
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
85.
Measuring Reliability as a Mean Failure Cost
机译:
测量可靠性作为平均故障成本
作者:
Ali Mili
;
Frederick Sheldon
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
86.
Advances in Quantum Computing Fault Tolerance and Testing
机译:
量子计算容错与测试的进步
作者:
Feinstein David Y.
;
Nair V.S.S.
;
Thornton Mitchell A.
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
87.
A Fault Taxonomy for Service-Oriented Architecture
机译:
面向服务架构的故障分类
作者:
Stefan Bruning
;
Stephan Weissleder
;
Miroslaw Malek
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
88.
Methodology for Evaluating Aeronautical Regulations using Formal Specifications
机译:
使用正式规格评估航空法规的方法
作者:
Eduardo Rafael Lopez Ruiz
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
89.
Automated Test Data Generation and Reliability Assessment for Software in High Assurance Systems
机译:
在高保证系统中的软件自动测试数据生成和可靠性评估
作者:
Murrill Branson W.
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
90.
Building High Assurance Multidisciplinary Design Optimization Framework
机译:
建立高保证多学科设计优化框架
作者:
Jeong-Oog Lee
;
Ho-Jun Lee
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
91.
Finance Sector: Requirements for High Assurance within Spatial SOA based Grid Infrastructures
机译:
金融部门:基于空间SOA网格基础设施的高保证要求
作者:
P. C. Donachy
;
R. H. Perrott
;
T. J. Harmer
;
F. Sharkey
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
92.
Parsimonious#x0A0;Classifiers#x0A0;for#x0A0;Software#x0A0;Quality#x0A0;Assessment
机译:
用于软件质量评估的典范分类器
作者:
Shin Miyoung
;
Ratanothayanon Sunida
;
Goel Amrit L.
;
Paul Raymond A.
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
关键词:
amp;
#x0A0;
Software quality;
Classification;
Parsimonious classifiers;
Software metrics;
93.
Research on Noise Problem of Reputation Estimation in Virtual Enterprise
机译:
虚拟企业信誉估计噪声问题研究
作者:
Shaofei Wu
;
Shixian Wang
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
关键词:
Virtual enterprise;
Reputation estimation;
Noise filtration;
Probability filtration;
94.
Towards a High Assurance Secure Computing Platform
机译:
迈向高保证安全计算平台
作者:
DiRossi Michael D.
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
95.
Research on Noise Problem of Reputation Estimation in Virtual Enterprise
机译:
虚拟企业信誉估计噪声问题研究
作者:
Wu Shaofei
;
Wang Shixian
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
关键词:
noise filtration;
probability filtration;
reputation estimation;
virtual enterprise;
96.
Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities
机译:
模糊Wi-Fi驱动程序来定位安全漏洞
作者:
Mendonca Manuel
;
Neves Nuno Ferreira
;
HASE
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
97.
Parsimonious Classifiers for Software Quality Assessment
机译:
用于软件质量评估的典范分类器
作者:
Miyoung Shin
;
Sunida Ratanothayanon
;
Amrit L. Goel
;
Raymond A. Paul
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
关键词:
Software quality;
Software metrics;
Classification;
Parsimonious classifiers;
98.
A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications
机译:
安全关键应用中的COTS微处理器安全分析框架
作者:
Jason D. Lee
;
Praveen S. Bhojwani
;
Rabi N. Mahapatra
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
99.
All-Optical Routing for High Assurance Computer Systems
机译:
高保证计算机系统的全光路由
作者:
Ekpe Okorafor
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
100.
Duplication Based Integrated Task and Message Scheduling on a Heterogeneous Network of Workstations (NOWs)
机译:
基于复制的工作站异构网络的集成任务和消息调度(现在)
作者:
Nitin Auluck
会议名称:
《IEEE High Assurance Systems Engineering Symposium》
|
2007年
意见反馈
回到顶部
回到首页