掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IEEE International Symposium on Cyberspace Safety and Security
IEEE International Symposium on Cyberspace Safety and Security
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Evaluation and Simulation for Civil Aircraft Integrated Avionics Network Based on Multi-Performance Indices
机译:
基于多绩效指标的民用飞机集成航空电子网络评估与仿真
作者:
Bin Chen
;
Quanxin Cao
;
Ruina Xu
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Civil aircraft;
Integrated avionics network;
Integrated evaluation;
Multi-performance indices;
2.
Topology-independent Software-Defined Edge Control for Scalable Ethernet DCN
机译:
可缩放以太网DCN的拓扑无关的软件定义边缘控制
作者:
Jianbiao Mao
;
Biao Han
;
Gaofeng Lv
;
Zhigang Sun
;
Xicheng Lu
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Datacenter Network;
OpenFlow;
Software-Defined Networking;
Scalability;
3.
Digital Forensics in the Age of Big Data: Challenges, Approaches, and Opportunities
机译:
数字取证在大数据时代:挑战,方法和机遇
作者:
Shams Zawoad
;
Ragib Hasan
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Big Data Forensics;
Forensic Investigation;
4.
Evaluation of Hybrid Parallel Cell List Algorithms For Monte Carlo Simulation
机译:
蒙特卡罗模拟的混合并联细胞列表算法评价
作者:
Kamel Rushaidat
;
Loren Schwiebert
;
Brock Jackman
;
Jason Mick
;
Jeffrey Potoff
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Cell List;
Monte Carlo Simulations;
Hybrid Parallel Architectures;
Gibbs Ensemble;
5.
An Improved Machine Learning Scheme for Data-driven Fault Diagnosis of Power Grid Equipment
机译:
一种改进的电网设备数据驱动故障诊断机器学习方案
作者:
Jinkui Zhang
;
Yongxin Zhu
;
Weiwei Shi
;
Gehao Sheng
;
Yufeng Chen
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Transformer fault diagnosis;
PCC;
PCA;
BPNN;
6.
A Flexible Cluster System for the Management of Virtual Clusters in the Cloud
机译:
一个灵活的集群系统,用于管理云中虚拟群集
作者:
F. Gomez-Folgar
;
G. Indalecio
;
A. J. Garcia-Loureiro
;
T. F. Pena
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Virtual clusters;
KVM;
Performance;
Apache Cloud-Stack;
7.
Virtual keyboard logging counter-measures using human vision properties
机译:
使用人类视觉属性的虚拟键盘测井对策
作者:
Christophe Bacara
;
Valentin Lefils
;
Gilles Grimaud
;
Julien Iguchi-Cartigny
;
Jean-Phillipe Wary
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
8.
An Efficient HPC Framework for Parallel Long-Time and Large-Scale Simulation of a Class of Anomalous Single-Phase Models
机译:
一种高效的HPC框架,用于一类异常单相模型的平行长时间和大规模模拟
作者:
Ahmad Alyoubi
;
Mahadevan Ganesh
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
9.
Cloud Data Integrity Using a Designated Public Verifier
机译:
使用指定的公共验证者云数据完整性
作者:
Syed Rizvi
;
Katie Cover
;
Abdul Razaque
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Cloud computing;
Cloud auditing;
Data privacy;
Integrity;
Authentication;
Public verifier;
Insider threats;
10.
Radio dataset exploration for dissecting the network dysfunctions due to handover
机译:
用于将网络功能障碍解剖的无线数据集探索
作者:
A. Chariete
;
O. Baala
;
A. Caminada
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Cellular networks;
Mobile traffic;
Call drops;
Handover;
Statistical methods;
Performances optimization;
11.
Privacy Pal: Improving Permission Safety Awareness of Third Party Applications in Online Social Networks
机译:
隐私PAL:提高在线社交网络中第三方应用的许可安全意识
作者:
Rachel Tucker
;
Carl Tucker
;
Jun Zheng
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Privacy;
Usable Security;
Online Social Networks;
Visualization;
12.
Evaluation of Memory Access Arbitration Algorithm on Tilera's TILEPro64 platform
机译:
蒂利拉替贫群地区平台内存访问仲裁算法评估
作者:
Mayank Shekhar
;
Harini Ramaprasad
;
Frank Mueller
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
13.
Analysis on Urban Collective Call Behavior to Earthquake
机译:
地震城市集体呼叫行为分析
作者:
Xiaoping Yu
;
Tao Pei
;
Keke Gai
;
Li Guo
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Emergency;
Calling behavior;
Ratio;
Degree distribution;
14.
Improving Energy Efficiency and Thermal Comfort of Smart Buildings with HVAC Systems in the Presence of Sensor Faults
机译:
在传感器故障存在下,提高HVAC系统的智能建筑能效和热舒适性
作者:
Volkan Gunes
;
Steffen Peter
;
Tony Givargis
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
15.
A Neural-Network Based DDoS Detection System Using Hadoop And HBase
机译:
使用Hadoop和HBase的基于神经网络的DDOS检测系统
作者:
Teng Zhao
;
Dan Chia-Tien Lo
;
Kai Qian
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
DDoS Detection;
Neural Networks;
Hadoop;
HBase;
16.
Analyzing Boundary Device Logs on the In-Memory Platform
机译:
分析边界设备在内存平台上的日志
作者:
Feng Cheng
;
Andrey Sapegin
;
Marian Gawron
;
Christoph Meinel
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
17.
A Novel Heterogeneous Scheduling Algorithm with Improved Task Priority
机译:
一种具有改进任务优先级的新型异构调度算法
作者:
Guan Wang
;
He Guo
;
Yuxin Wang
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
DAG scheduling;
Heterogeneous computing;
Random graphs generator;
Task priority;
Static scheduling;
18.
An Empirical Study on Preprocessing High-dimensional Class-imbalanced Data for Classification
机译:
分类预处理高维类别 - 不平衡数据的实证研究
作者:
Hua Yin
;
Keke Gai
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
High-dimensional class-imbalanced data;
Classification;
Preprocessing;
Feature selection;
Sampling;
19.
Simulation to ARM Processors based on the Instruction's Eigenvalue
机译:
基于指令特征值的ARM处理器仿真
作者:
Fei Luo
;
Chunhua Gu
;
Bingyong Yan
;
Changhao Fan
;
Shalin Huang
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Function Simulation;
ARM Processors;
Instruction's Eigenvalue;
Implementation Style;
Decoding Rule;
20.
Millipedes: Distributed Set-Based Sub-Task Scheduler of Computing Engines Running on Yam Cluster
机译:
milipedes:在亚马群集中运行的计算引擎的分布式和基于集的子任务调度程序
作者:
Kebing Wang
;
Zhaojuan Bian
;
Qian Chen
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
YARN;
Big data cluster;
Sub-task scheduler;
Distributed amp;
set-based scheduling algorithm;
21.
A Logistic Distribution Routes Solving Strategy Based on the Physarum Network and Ant Colony Optimization Algorithm
机译:
基于Physarum网络和蚁群优化算法的策略解决策略的物流分配路径
作者:
Qianguo Chen
;
Tao Qian
;
Kui Liu
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Physarum Network model;
Ant Colony Optimization algorithm;
Logistics distribution routes optimization;
VRP;
22.
Adaptive Page Packing and Storing Method for PCM-Flash Hybrid Memory Structure
机译:
PCM闪存混合存储器结构的自适应页面包装和存储方法
作者:
Su-Kyung Yoon
;
Young-Sun Youn
;
Shin-Dug Kim
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
PCM;
Flash;
Integrated Memory Disk Structure;
23.
Superframe Scheduling for Data Aggregation in WirelessHART Networks
机译:
WirelessHart网络中数据聚合的超帧调度
作者:
Feng Li
;
Zhaopeng Zhang
;
Zhiping Jia
;
Lei Ju
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
WirelessHART;
Scheduling;
Data aggregation;
24.
Task-D: a Task Based Programming Framework for Distributed System
机译:
任务-D:用于分布式系统的基于任务的编程框架
作者:
Jiachen Xue
;
Chong Chen
;
Lin Ma
;
Teng Su
;
Chen Tian
;
Wenqin Zheng
;
Ziang Hu
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
25.
Shared Write Buffer to Support Speculative Execution
机译:
共享写缓冲区以支持推测执行
作者:
John YE
;
Hongjun DAI
;
Songyuan LI
;
Tianzhou CHEN
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Shared Write Buffer;
Cache;
Multi-Core;
Speculative Multi-Threading;
26.
A Time Slices Based Novel D VS Algorithm for Embedded Systems
机译:
基于时间切片的嵌入式系统D vs算法
作者:
HU Lei
;
HU Wei
;
LI Ruomiao
;
LI Chunqiang
;
ZHANG Zhanyan
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Power-consumption;
Embedded system;
Time slice;
DVS;
27.
Gateway Modeling and Response Time Analysis on CAN Clusters of Automobiles
机译:
罐头建模与响应时间分析
作者:
Guoqi Xie
;
Gang Zeng
;
Ryo Kurachi
;
Hiroaki Takada
;
Renfa Li
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
CAN clusters;
Gateway modeling;
Response time analysis;
Lower bound;
Upper bound;
28.
SMM Revolutions
机译:
SMM革命
作者:
William A. R. de Souza
;
Allan Tomlinson
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
SMM;
Security;
PC architecture;
Virtualization;
SGX;
29.
Integrated Performance Evaluation Approach based on an Advanced Traffic Modeling by Traffic Zones: A Case Study in Public Safety Network
机译:
基于交通区高级流量建模的综合性能评估方法:公共安全网络案例研究
作者:
Tuyatsetseg Badarch
;
Otgonbayar Bataa
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Traffic mixture modeling;
QoS evaluation;
Emergency call traffic;
Public Safety Network;
30.
A Bayesian Treatment for Singular Value Decomposition
机译:
贝叶斯治疗奇异值分解
作者:
Cheng Luo
;
Yang Xiang
;
Bo Zhang
;
Qiang Fang
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Bayesian SVD;
Recommendation;
Hierarchical Bayesian;
Gibbs Sampling;
Performance evaluation;
31.
Use of runtime enforcement for the test of real-time systems
机译:
使用运行时实施进行实时系统的测试
作者:
Louis-Marie Givel
;
Matthias Brun
;
Camille Constant
;
Sebastien Faucou
;
Olivier H. Roux
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
32.
Simplified Approach for Representing Part-Whole Relations in OWL-DL Ontologies
机译:
代表OWL-DL Intolologies中的部分整体关系的简化方法
作者:
A. Aziz Altowayan
;
Lixin Tao
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Ontology;
Part-whole reasoning;
Partonomic relations mapping;
Knowledge representation;
33.
Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors
机译:
移动不对称芯片多处理器多线程程序的性能建模
作者:
Ryan W. Moore
;
Bruce R. Childers
;
Jingling Xue
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
34.
Design-Space Reduction for Architectural Optimization of Automotive Embedded Systems
机译:
汽车嵌入式系统建筑优化的设计空间减少
作者:
Xinhai Zhang
;
Lei Feng
;
De-Jiu Chen
;
Martin Torngren
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
35.
Hypergraph-Cover Diversity for Maximally-Resilient Reconfigurable Systems
机译:
用于最大弹性可重新配置系统的超图覆盖多样性
作者:
Ahmad Alzahrani
;
Ronald F. DeMara
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
36.
Formal Synthesis of Optimal RTOS
机译:
正式合成最佳RTOS
作者:
Toussaint Gautier Tigori Kabland
;
Jean-Luc Bechennec
;
Olivier Henri Roux
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
37.
Design and Evaluation of a Low-Latency AVB Ethernet Endpoint based on ARM SoC
机译:
基于ARM SoC的低延迟AVB以太网端点的设计与评估
作者:
Christian Herber
;
Ammar Saeed
;
Andreas Herkersdorf
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Audio Video Bridging;
Ethernet;
Automotive Electronics;
38.
A Framework for Real-Time Information Derivation from Big Sensor Data
机译:
来自大传感器数据的实时信息推导的框架
作者:
Liehuo Chen
;
Kyoung-Don Kang
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
39.
Extraction of Kahn Process Networks from While Loops in Embedded Software
机译:
从嵌入式软件中的循环提取KAHN过程网络
作者:
Miguel Angel Aguilar
;
Juan Fernando Eusse
;
Rainer Leupers
;
Gerd Ascheid
;
Maximilian Odendahl
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
40.
Impact of Signaling Storms on Energy Consumption and Latency of LTE User Equipment
机译:
信号风暴对LTE用户设备能耗和延迟的影响
作者:
Frederic Francois
;
Omer H. Abdelrahman
;
Erol Gelenbe
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Signaling Storms;
LTE;
Energy Consumption;
Bandwidth Congestion;
Radio Resource Control;
Misbehaving Mobile Applications;
M2M systems;
IoT;
5G;
41.
IOMPU: Spatial Separation for Hardware-Based I/O Virtualization for Mixed-Criticality Embedded Real-Time Systems Using Non-Transparent Bridges
机译:
IMPU:用于使用非透明桥接的混合关键性嵌入式实时系统的基于硬件的I / O虚拟化的空间分离
作者:
Daniel Munch
;
Michael Paulitsch
;
Andreas Herkersdorf
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
42.
Distributed Enforcement of Sticky Policies with Flexible Trust
机译:
具有灵活信任的粘性政策的分布式执行
作者:
Jordan Brown
;
Douglas M. Blough
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
43.
A Practical Method to Determine Achievable Rates for Secure Steganography
机译:
一种确定可实现的安全隐写术率的方法
作者:
Lingyu Zhang
;
Diao Chen
;
Yun Cao
;
Xianfeng Zhao
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Capacity analysis;
Steganography;
Estimated rate;
Non-linear regression;
44.
Automatic Parallelization of Simulink Models for Multi-core Architectures
机译:
用于多核架构的Simulink模型的自动并行化
作者:
Cumhur Erkan Tuncali
;
Georgios Fainekos
;
Yann-Hang Lee
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Multiprocessing;
Embedded systems;
Optimization;
Model based development;
Simulink;
Task allocation;
45.
The Myths of Coded Processing
机译:
编码处理的神话
作者:
Juergen Braun
;
Juergen Mottok
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Coded processing;
Safety measure;
ISO 26262;
IEC 61508;
Fail-safe;
Fail-operational;
Fault-tolerant;
Failure probability;
Failure rate;
Safely Embedded Software;
SES;
Residualerror probability;
Reliability;
Diversity;
46.
Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing
机译:
汽车集成测试独立守卫断言的离线分析
作者:
Guillermo Rodriguez-Navas
;
Avenir Kobetski
;
Daniel Sundmark
;
Thomas Gustafsson
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
47.
Supporting Selective Formalism in CSP++ with Process-Specific Storage
机译:
支持CSP ++中的选择性形式主义,具有特定于流程的存储
作者:
William B. Gardner
;
Alicia Gumtie
;
John D. Carter
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
CSPm;
Timed CSP;
C++;
Code generation;
Software synthesis;
Formal methods;
Model-based design;
Selective formalism;
Soft real-time;
Embedded systems;
Eclipse;
48.
Hierarchic Topology Management by Decision Model and Smart Agents in Space Information Networks
机译:
空间信息网络中决策模型和智能代理的分层拓扑管理
作者:
Ning Ye
;
Rong Geng
;
Xiaoshi Song
;
Qunyang Wang
;
Zhaolong Ning
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Smart agent;
Decision model;
Space information networks;
Topology management;
49.
A Decentralized Framework for Geolocation-based Pre-Incident Network Forensics
机译:
基于地理位置的前事故网络取证的分散框架
作者:
Mario Golling
;
Robert Koch
;
Lars Stiemert
;
Volker Eiseler
;
Frank Tietze
;
Gabi Dreo Rodosek
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Network Forensics;
Decentralization;
Geolocation;
Pre-Incident;
50.
On-Demand Indoor Location-based Service using Ad-Hoc Wireless Positioning Network
机译:
使用Ad-Hoc无线定位网络按需室内位置的服务
作者:
Shigemi Ishida
;
Shigeaki Tagashira
;
Yutaka Arakawa
;
Akira Fukuda
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
On-demand;
Indoor localization;
Location-based Web service;
Ad-hoc wireless positioning network;
WiFi mesh network;
51.
A High-Level Scheme for an Ontology-based compliance Framework in Software Development
机译:
一种高级方案,用于软件开发中基于本体的合规性框架
作者:
Ftemeh Zarrabi Jorshari
;
Rahman H. Tawil
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Ontology;
Requirement Engineering;
Compliance;
Risk;
Data protection;
Security;
Privacy;
Standard;
52.
Optimization of Network Bandwidth Allocation in Xen
机译:
Xen网络带宽分配的优化
作者:
LiRong Mei
;
Xiang Lv
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Xen;
Bandwidth allocation;
53.
Bitvector: Fault tolerant aggregation scheme for monitoring in nuclear power plants
机译:
BitVector:核电厂监测的容错聚合方案
作者:
Wenchen Wang
;
Daniel Mosse
;
Daniel G. Cole
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Nuclear power plant;
Condition monitoring;
In-network aggregation;
Time-dependent fault model;
54.
Prison: Tracking Process Interactions to Contain Malware
机译:
监狱:跟踪流程交互以包含恶意软件
作者:
Benjamin Caillat
;
Bob Gilbert
;
Richard Kemmerer
;
Christopher Kruegel
;
Giovanni Vigna
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
55.
Simulation-driven optimization of real-time control tasks
机译:
实时控制任务的仿真驱动优化
作者:
Matteo Morelli
;
Yasmina Seddik
;
Marco Di Natale
;
Chokri Mraidha
;
Sara Tucci-Piergiovanni
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
56.
Fast and Accurate Workload Characterization Using Locality Sensitive Hashing
机译:
使用局部敏感散列快速准确的工作负载表征
作者:
Mohammad Shahedul Islam
;
Matt Gibson
;
Abdullah Muzahid
会议名称:
《IEEE International Symposium on Cyberspace Safety and Security》
|
2015年
关键词:
Application characterization;
Data center;
Locality sensitive hashing;
意见反馈
回到顶部
回到首页