掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Symposium on Stabilization, Safety, and Security of Distributed Systems
International Symposium on Stabilization, Safety, and Security of Distributed Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Stabilization of Flood Sequencing Protocols in Sensor Networks
机译:
传感器网络中洪水测序协议的稳定
作者:
Young-ri Choi
;
Mohamed G. Gouda
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Self-stabilization;
Flood sequencing protocol;
Sequence numbers;
Sensor networks;
2.
Stabilization in Dynamic Systems with Varying Equilibrium
机译:
具有不同均衡的动态系统中的稳定性
作者:
Hui Cao
;
Anish Arora
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Stabilization;
MiniMax;
Optimality;
Equilibrium;
Control;
3.
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
机译:
将稳定定时假设与可解性和效率的稳定失效探测器相关
作者:
Martin Biely
;
Martin Hutle
;
Lucia Draque Penso
;
Josef Widder
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
4.
Secure and Self-stabilizing Clock Synchronization in Sensor Networks
机译:
传感器网络中的安全和自稳定时钟同步
作者:
Jaap-Henk Hoepman
;
Andreas Larsson
;
Elad M. Schiller
;
Philippas Tsigas
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Secure and Resilient Computer Systems;
Sensor-Network Systems;
Clock-synchronization;
Self-Stabilization;
5.
Secure and Self-stabilizing Clock Synchronization in Sensor Networks
机译:
传感器网络中的安全和自稳定时钟同步
作者:
Jaap-Henk Hoepman
;
Andreas Larsson
;
Elad M. Schiller
;
Philippas Tsigas
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Secure and Resilient Computer Systems;
Sensor-Network Systems;
Clock-synchronization;
Self-Stabilization;
6.
Self-stabilization and Virtual Node Layer Emulations
机译:
自我稳定和虚拟节点层仿真
作者:
Tina Nolte
;
Nancy Lynch
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Self-stabilization;
Virtual stationary automata;
Virtual node layer;
Geocast;
Abstraction layer emulation;
Mobile ad-hoc networking;
TIOA;
7.
Global Predicate Detection in Distributed Systems with Small Faults
机译:
具有小故障的分布式系统的全局谓词检测
作者:
Felix C. Freiling
;
Arshad Jhumka
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
8.
Decentralized Detector Generation in Cooperative Intrusion Detection Systems
机译:
合作入侵检测系统分散检测器生成
作者:
Rainer Bye
;
Katja Luther
;
Seyit Ahmet Camtepe
;
Tansu Alpcan
;
Sahin Albayrak
;
Bulent Yener
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
9.
Robust Stabilizing Leader Election
机译:
强大的稳定领导选举
作者:
Carole Delporte-Gallet
;
Stephane Devismes
;
Hugues Fauconnier
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
10.
Self{sup}* Minimum Connected Covers of Query Regions in Sensor Networks
机译:
self {sup} *传感器网络中的查询区域的最小连接盖
作者:
A. K. Datta
;
M. Gradinariu Potop-Butucaru
;
R. Patel
;
A. Yamazaki
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
11.
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
机译:
界面延迟模型中的拜占庭自镇静脉冲
作者:
Danny Dolev
;
Ezra N. Hoch
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
12.
Stability of the Multiple-Access Channel Under Maximum Broadcast Loads
机译:
在最大广播负载下的多访问通道的稳定性
作者:
Bogdan S. Chlebus
;
Dariusz R. Kowalski
;
Mariusz A. Rokicki
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
multiple-access channel;
deterministic broadcast;
adversarial queuing;
stability;
fairness;
latency;
13.
Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance
机译:
分散,连接,维持性和经济高效的结构覆盖维护
作者:
Yu Chen
;
Wei Chen
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
structured overlay maintenance;
peer-to-peer;
fault tolerance;
14.
Stabilization in Dynamic Systems with Varying Equilibrium
机译:
具有不同均衡的动态系统中的稳定性
作者:
Hui Cao
;
Anish Arora
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Stabilization;
MiniMax;
Optimality;
Equilibrium;
Control;
15.
Secure Failure Detection in TrustedPals
机译:
信任的安全失败检测
作者:
Roberto Cortinas
;
Felix C. Freiling
;
Marjan Ghajar-Azadanlou
;
Alberto Lafuente
;
Mikel Larrea
;
Lucia Draque Penso
;
Iratxe Soraluze
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
16.
Self-stabilization and Virtual Node Layer Emulations
机译:
自我稳定和虚拟节点层仿真
作者:
Tina Nolte
;
Nancy Lynch
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
self-stabilization;
virtual stationary automata;
virtual node layer;
geocast;
abstraction layer emulation;
mobile ad-hoc networking;
TIOA;
17.
r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks
机译:
R-SEMI-GROUPION:一种设计稳定沉默任务的通用方法
作者:
Bertrand Ducourthial
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
18.
Probabilistic Fault-Containment
机译:
概率故障遏制
作者:
Anurag Dasgupta
;
Sukumar Ghosh
;
Xin Xiao
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
19.
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
机译:
高原子模型中容错程序的分布式综合
作者:
Borzoo Bonakdarpour
;
Sandeep S. Kulkarni
;
Fuad Abujarad
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Program transformation;
Program synthesis;
Distributed algorithms;
Fault-tolerance;
Parallel synthesis;
20.
Stabilizing Flocking Via Leader Election in Robot Networks
机译:
通过机器人网络的领导者选举稳定植绒
作者:
Davide Canepa
;
Maria Gradinariu Potop-Butucaru
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
21.
Self* Minimum Connected Covers of Query Regions in Sensor Networks
机译:
传感器网络中查询区域的自我*最小连接盖
作者:
Ajoy K. Datta
;
Maria Gradinariu Potop-Butucaru
;
Rajesh Patel
;
Ai Yamazaki
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
22.
r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks
机译:
R-SEMI-GROUPION:一种设计稳定沉默任务的通用方法
作者:
Bertrand Ducourthial
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
23.
Probabilistic Fault-Containment
机译:
概率故障遏制
作者:
Anurag Dasgupta
;
Sukumar Ghosh
;
Xin Xiao
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
24.
Decentralized Detector Generation in Cooperative Intrusion Detection Systems
机译:
合作入侵检测系统分散检测器生成
作者:
Rainer Bye
;
Katja Luther
;
Seyit Ahmet Camtepe
;
Tansu Alpcan
;
Sahin Albayrak
;
Bülent Yener
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
25.
STABILIZING TRUST and REPUTATION for: Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests
机译:
稳定信任和声誉:尽管拜占庭式客人,自我稳定的高效主持人
作者:
Shlomi Dolev
;
Reuven Yagel
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
关键词:
Self-stabilization;
Security;
Host systems;
Byzantine programs;
Trust and reputation;
26.
Stabilization of Loop-Free Redundant Routing
机译:
无环的冗余路由稳定
作者:
Jorge A. Cobb
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
27.
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
机译:
将稳定定时假设与可解性和效率的稳定失效探测器相关
作者:
Martin Biely
;
Martin Hutle
;
Lucia Draque Penso
;
Josef Widder
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2007年
28.
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer
机译:
简介:忘记同步器的降低效果
作者:
Matthias Fugger
;
Alexander Kobler
;
Thomas Nowak
;
Martin Zeiner
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
29.
Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network
机译:
简介:在匿名网络中自我稳定的沉默不关联
作者:
Ajoy K. Datta
;
Stephane Devismes
;
Lawrence L. Larmore
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
30.
Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of Faults
机译:
简介:在断层存在下自镇的任意态度同步
作者:
Mahyar R. Malekpour
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
31.
Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings
机译:
简短公告:移动代理在边缘演化戒指中的结合
作者:
Tomoko Izumi
;
Yukiko Yamauchi
;
Sayaka Kamei
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
32.
Brief Announcement: Detecting Users' Connectivity on Online Social Networks
机译:
简介:检测用户在线社交网络的连接
作者:
Na Li
;
Sajal K. Das
;
Nan Zhang
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
33.
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols
机译:
简介:在机器人网络协议中发现和评估细粒度指标
作者:
Francois Bonnet
;
Xavier Defago
;
Franck Petit
;
Maria Gradinariu Potop-Butucaru
;
Sebastien Tixeuil
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
34.
Brief Announcement: Arbitrators in the Security Infrastructure
机译:
简介:安全基础架构中的仲裁员
作者:
Shlomi Dolev
;
Niv Gilboa
;
Ofer Hermoni
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
35.
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers
机译:
简介:使用SMT求解器核实稳定计划
作者:
Jingshu Chen
;
Sandeep Kulkarni
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
关键词:
Verification;
Stabilization;
Model checking;
36.
Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
机译:
简介:Karyon:用于合作车辆系统的安全内核
作者:
Antonio Casimiro
;
Jorg Kaiser
;
Johan Karlsson
;
Elad Michael Schiller
;
Philippas Tsigas
;
Pedro Costa
;
Jose Parizi
;
Rolf Johansson
;
Renato Librino
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
37.
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems
机译:
简介:MP-State:邮件传递系统的状态感知软件模型检查
作者:
Can Arda Muftuoglu
;
Peter Bokor
;
Neeraj Suri
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
38.
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback
机译:
通过模拟评估稳定程序的实际公差特性:反馈信息传播信息的情况
作者:
Jordan Adamek
;
Mikhail Nesterenko
;
Sebastien Tixeuil
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
39.
Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles
机译:
用于三角形的最大图分隔的自稳定算法
作者:
Brahim Neggazi
;
Mohammed Haddad
;
Hamamache Kheddouci
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
关键词:
Graph partitioning;
Independent triangles;
Self-stabilization;
40.
Optimal Grid Exploration by Asynchronous Oblivious Robots
机译:
异步疏忽机器人的最佳网格探索
作者:
Stephane Devismes
;
Anissa Lamani
;
Franck Petit
;
Pascal Raymond
;
Sebastien Tixeuil
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
41.
Terminating Population Protocols via Some Minimal Global Knowledge Assumptions
机译:
通过一些最小的全球知识假设终止人口议定书
作者:
Othon Michail
;
Ioannis Chatzigiannakis
;
Paul G. Spirakis
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
42.
On Finding Better Friends in Social Networks
机译:
在社交网络中找到更好的朋友
作者:
Philipp Brandes
;
Roger Wattenhofer
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
关键词:
Distributed algorithms;
Social networks;
Dynamic networks;
Local algorithms;
Stable states;
43.
Scalable Byzantine Agreement with a Random Beacon
机译:
可扩展的拜占庭协议与随机标灯
作者:
Olumuyiwa Oluwasanmi
;
Jared Saia
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
44.
All-to-All Gradecast Using Coding with Byzantine Failures
机译:
使用与拜占庭式故障的编码的全面的毕因载体
作者:
John F. Bridgman
;
Vijay K. Garg
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
45.
Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems
机译:
用于大型系统的自稳定服务发现框架中的优化
作者:
Eddy Caron
;
Florent Chuffart
;
Anissa Lamani
;
Franck Petit
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
46.
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud
机译:
用于迁移云中虚拟机的安全保留的正式验证
作者:
Yosr Jarraya
;
Arash Eghtesadi
;
Mourad Debbabi
;
Ying Zhang
;
Makan Pourzandi
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
47.
DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments
机译:
DQMP:一个分散的协议,用于在云环境中强制执行全球配额
作者:
Johannes Behl
;
Tobias Distler
;
Rudiger Kapitza
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
48.
Self-stabilizing Local k-Placement of Replicas with Minimal Variance
机译:
具有最小差异的复制品本地k-andive
作者:
Sven Kohler
;
Volker Turau
;
Gerhard Mentges
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
49.
BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filters
机译:
BLIP:绽放过滤器上的非交互式差异 - 私人相似性计算
作者:
Mohammad Alaggan
;
Sebastien Gambs
;
Anne-Marie Kermarrec
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
50.
Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks
机译:
(有界容量,省略,复制和非FIFO)动态网络的自稳定端到端通信
作者:
Shlomi Dolev
;
Ariel Hanemann
;
Elad Michael Schiller
;
Shantanu Sharma
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
51.
Oblivious Assignment with m Slots
机译:
忘记分配m插槽
作者:
Giuseppe Ateniese
;
Roberto Baldoni
;
Silvia Bonomi
;
Giuseppe Antonio Di Luna
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
关键词:
Distributed coordination abstractions;
Secure computations;
Mutual exclusion;
Distributed systems;
52.
A Theory of Fault Recovery for Component-Based Models
机译:
基于组件的模型的故障恢复理论
作者:
Borzoo Bonakdarpour
;
Marius Bozga
;
Gregor Gossler
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
关键词:
Fault-tolerance;
Transformation;
Separation of concerns;
BIP;
53.
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering
机译:
从自我到自我稳定与服务保证1跳重量的聚类
作者:
Colette Johnen
;
Fouzi Mekhaldi
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
54.
Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered Agents
机译:
疏散代理人对未知危险图形的容忍探索
作者:
Paola Flocchini
;
Matthew Kellett
;
Peter C. Mason
;
Nicola Santoro
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
55.
Communication-Efficient Self-stabilization in Wireless Networks
机译:
无线网络中的通信高效的自我稳定
作者:
Tomoya Takimoto
;
Fukuhito Ooshita
;
Hirotsugu Kakugawa
;
Toshimitsu Masuzawa
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
56.
High-Level Executable Specifications of Distributed Algorithms
机译:
分布式算法的高级可执行规范
作者:
Yanhong A. Liu
;
Scott D. Stoller
;
Bo Lin
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
57.
Self-stabilizing Distributed Data Fusion
机译:
自稳定分布式数据融合
作者:
Bertrand Ducourthial
;
Veronique Cherfaoui
;
Thierry Denoeux
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
58.
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings
机译:
论均匀环中移动忽略机器人的自我稳定
作者:
Fukuhito Ooshita
;
Sebastien Tixeuil
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2012年
59.
An Agile and Stable Neighborhood Protocol for WSNs
机译:
WSN的敏捷和稳定的邻域协议
作者:
Gerry Siegemund
;
Volker Turau
;
Christoph Weyer
;
Stefan Lohs
;
Jorg Nolte
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
60.
Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction
机译:
记忆有效的自我稳定k独立主导套装
作者:
Colette Johnen
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
61.
Zone-Based Synthesis of Strict 2-Phase Fault Recovery
机译:
基于区域的严格2相故障恢复的合成
作者:
Fathiyeh Faghih
;
Borzoo Bonakdarpour
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
62.
Analyzing Convergence and Reachability of Asynchronous Iterations
机译:
分析异步迭代的收敛性和可达性
作者:
Yoshisato Sakai
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
63.
Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery
机译:
自我稳定的拜占庭弹性拓扑发现和留言交付
作者:
Shlomi Dolev
;
Omri Liba
;
Elad M. Schiller
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
64.
Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET
机译:
自我稳定的DAG构建协议,掌握在MANET中的地震
作者:
Koichi Ito
;
Yoshiaki Katayama
;
Koichi Wada
;
Naohisa Takahashi
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Self-stabilizing;
DAG;
Geocast;
MANET;
65.
Low-Communication Self-stabilizing Leader Election in Large Networks
机译:
大型网络中的低通信自我稳定领导者选举
作者:
Thamer Alsulaiman
;
Andrew Berns
;
Sukumar Ghosh
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
66.
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming
机译:
使用基因编程综合基于圆形的容错程序
作者:
Ling Zhu
;
Sandeep Kulkarni
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
67.
Scalable Estimation of Network Average Degree
机译:
网络平均度的可扩展估计
作者:
Taisuke Izumi
;
Hironobu Kanzaki
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
68.
Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference
机译:
无线Ad-hoc网络的自稳定TDMA算法,无需外部参考
作者:
Thomas Petig
;
Elad M. Schiller
;
Philippas Tsigas
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
69.
Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3
机译:
令人沮丧的机器人的戒指探索,愿景限制为2或3
作者:
Ajoy K. Datta
;
Anissa Lamani
;
Lawrence L. Larmore
;
Franck Petit
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
70.
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs
机译:
交易级Systemc程序中的定时故障建模与分析
作者:
Reza Hajisheykhi
;
Ali Ebnenasir
;
Sandeep S. Kulkarni
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
71.
Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-Interaction
机译:
基于k互动的人口议定书中自镇的空间复杂性
作者:
Xiaoguang Xu
;
Yukiko Yamauchi
;
Shuji Kijima
;
Masafumi Yamashita
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
72.
A Self-stabilizing Algorithm for Maximal p-Star Decomposition of General Graphs
机译:
一种自我稳定算法,用于全图的最大P-STAR分解
作者:
Brahim Neggazi
;
Volker Turau
;
Mohammed Haddad
;
Hamamache Kheddouci
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Graph decomposition;
Stars;
Generalized matching;
Master-slave model;
Self-stabilizing algorithm;
73.
Self-stabilizing (f,g)-Alliances with Safe Convergence
机译:
自我稳定(F,G) - 安全收敛性
作者:
Fabienne Carrier
;
Ajoy K. Datta
;
Stephane Devismes
;
Lawrence L. Larmore
;
Yvan Rivierre
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Self-Stabilization;
Safe Convergence;
(f;
G)-Alliance;
74.
Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems
机译:
螺旋纠缠代码:设计强大的分布式存储系统的有效方法
作者:
Veronica Estrada Galinanes
;
Pascal Felber
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
75.
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots
机译:
拜占庭宽容的移动机器人的经过认证的不可能结果
作者:
Cedric Auger
;
Zohir Bouzid
;
Pierre Courtieu
;
Sebastien Tixeuil
;
Xavier Urbain
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
76.
Synchronous Counting and Computational Algorithm Design
机译:
同步计数与计算算法设计
作者:
Danny Dolev
;
Janne H. Korhonen
;
Christoph Lenzen
;
Joel Rybicki
;
Jukka Suomela
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
77.
Verifying Livelock Freedom on Parameterized Rings and Chains
机译:
验证参数化戒指和链条上的Livelock自由
作者:
Alex P. Klinkhamer
;
Ali Ebnenasir
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
78.
Local Decision and Verification with Bounded-Size Outputs
机译:
界限大小输出的本地决策和验证
作者:
Heger Arfaoui
;
Pierre Fraigniaud
;
Andrzej Pelc
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
79.
How Good is Weak-Stabilization?
机译:
弱稳定有多好?
作者:
Narges Fallahi
;
Borzoo Bonakdarpour
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Weak stabilization;
Performance evaluation;
Recovery time;
80.
Linearizing Peer-to-Peer Systems with Oracles
机译:
用oracles线性化点对点系统
作者:
Rizal Mohd Nor
;
Mikhail Nesterenko
;
Sebastien Tixeuil
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
81.
Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite Line
机译:
在无限线中收集具有限制视觉的异步沮丧代理
作者:
Samuel Guilbault
;
Andrzej Pelc
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Asynchronous;
Mobile agent;
Gathering;
Line;
82.
An Asynchronous Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs
机译:
单位磁盘图中安全收敛的最小连接主导集的异步自稳定近似
作者:
Sayaka Kamei
;
Tomoko Izumi
;
Yukiko Yamauchi
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
83.
Localizability of Wireless Sensor Networks: Beyond Wheel Extension
机译:
无线传感器网络的局部化:超越车轮扩展
作者:
Buddhadeb Sau
;
Krishnendu Mukhopadhyaya
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Wireless sensor networks;
Graph rigidity;
Localization;
Localizable networks;
Distributed localizability testing;
84.
Naming and Counting in Anonymous Unknown Dynamic Networks
机译:
命名和计数匿名未知的动态网络
作者:
Othon Michail
;
Ioannis Chatzigiannakis
;
Paul G. Spirakis
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
85.
Counting the Number of Homonyms in Dynamic Networks
机译:
计算动态网络中的同音异义数
作者:
G. A. Di Luna
;
R. Baldoni
;
S. Bonomi
;
Ioannis Chatzigiannakis
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Aggregating Function;
Dynamic Networks;
Homonyms;
Failure;
Synchronous System;
86.
Self-Healing of Byzantine Faults
机译:
拜占庭缺陷的自我愈合
作者:
Jeffrey Knockel
;
George Saad
;
Jared Saia
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Byzantine Faults;
Threshold Cryptography;
Self-Healing Algorithms;
87.
Universal Model Simulation: BG and Extended BG as Examples
机译:
通用模型模拟:BG和扩展BG为例
作者:
Petr Kuznetsov
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
88.
On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game
机译:
论反复流行传播游戏中惩罚的有效性
作者:
Xavier Vilaca
;
Luis Rodrigues
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Epidemic Dissemination;
Game Theory;
Peer-to-Peer;
89.
Leader Election and Centers and Medians in Tree Networks
机译:
领导者选举和中心和中位数在树网络中
作者:
Ajoy K. Datta
;
Lawrence L. Larmore
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Self-stabilization;
Anonymous network;
Tree network;
Leader election;
Center;
Median;
90.
Concurrent Wait-Free Red Black Trees
机译:
并发等待的红色黑色树木
作者:
Aravind Natarajan
;
Lee H. Savoie
;
Neeraj Mittal
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
91.
Automated Addition of Fault-Tolerance under Synchronous Semantics
机译:
同步语义下的自动添加容错
作者:
Yiyan Lin
;
Borzoo Bonakdarpour
;
Sandeep Kulkarni
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
92.
Self-stabilizing Balancing Algorithm for Containment-Based Trees
机译:
基于遏制的树木的自稳定平衡算法
作者:
Evangelos Bampas
;
Anissa Lamani
;
Franck Petit
;
Mathieu Valero
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
关键词:
Self-stabilization;
Balancing algorithms;
Containment-based trees;
93.
Transactional Encoding for Tolerating Transient Hardware Errors
机译:
用于容忍瞬态硬件错误的事务编码
作者:
Jons-Tobias Wamhoff
;
Mario Schwalbe
;
Rasha Faqeh
;
Christof Fetzer
;
Pascal Felber
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2013年
94.
Meta-algorithm to Choose a Good On-Line Prediction (Short Paper)
机译:
元算法选择良好的在线预测(短文)
作者:
Alexandre Dambreville
;
Joanna Tomasik
;
Johanne Cohen
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2016年
95.
Analysis of Computing Policies Using SAT Solvers (Short Paper)
机译:
使用SAT溶剂分析计算政策(短文)
作者:
Marijn J. H. Heule
;
Rezwana Reaz
;
H. B. Acharya
;
Mohamed G. Gouda
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2016年
关键词:
Policies;
Firewalls;
Access control;
Routing policies;
SAT;
96.
Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper)
机译:
多项式无声自稳定P-星分解(短纸)
作者:
Mohammed Haddad
;
Colette Johnen
;
Sven Kohler
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2016年
97.
PSVR-Self-stabilizing Publish/Subscribe Communication for Ad-Hoc Networks (Short Paper)
机译:
PSVR-自稳定发布/订阅ad-hoc网络(短文)
作者:
G. Siegemund
;
V. Turau
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2016年
98.
Infinite Unlimited Churn (Short Paper)
机译:
无限无限制(短文)
作者:
Dianne Foreback
;
Mikhail Nesterenko
;
Sebastien Tixeuil
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2016年
99.
Leader Election in Rings with Bounded Multiplicity (Short Paper)
机译:
带有有界多数的戒指的领导者选举(短文)
作者:
Karine Altisen
;
Ajoy K. Datta
;
Stephane Devismes
;
Anais Durand
;
Lawrence L. Larmore
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2016年
100.
Towards Efficient and Robust BFT Protocols with ER-BFT (Short Paper)
机译:
使用ER-BFT的高效和强大的BFT协议(短纸)
作者:
Lucas Perronne
;
Sara Bouchenak
会议名称:
《International Symposium on Stabilization, Safety, and Security of Distributed Systems》
|
2016年
关键词:
Byzantine fault tolerance;
Attacks;
Robustness;
Performance;
意见反馈
回到顶部
回到首页