停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第18届ICECCS 2013：新加坡

>主页 >会议和研讨会 >ICECCS公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/iceccs/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/2013
2013年7月17日至19日，新加坡，2013年第18届复杂计算机系统工程国际会议。 IEEE计算机学会 2013，国际标准图书编号978-0-7695-5007-7

主题演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/Jones公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/Jones13
克利夫·琼斯:
并发推理符号的表达能力。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/He13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/He13
何继峰:
混合关系微积分。 2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/Honiden13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/Honiden13
Shinichi Honiden公司:
软件进化的目标模型精化。三

系统建模与验证1

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/SuZYWG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/SuZYWG13
陈苏,Min Zhou女士,梁泽贤,海湾,顾明:
使用BIP对具有数据传递的基于组件的系统进行建模和验证。 4-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/HanHL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/HanHL13
韩丰林,彼得·赫尔曼,Hien Le公司:
无功系统的实时特性建模与验证。 14-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/WaltherW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/WaltherW13
斯文·沃尔特,海克·韦尔海姆:
基于知识的服务组合验证-SMT方法。 24-32
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/AndreLPHLHK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/AndreLPHLHK13
埃蒂安·安德烈,尤斯拉·莱姆巴哈,劳雷·佩特鲁奇,弗朗西斯·胡林·胡巴德,阿尔班·利纳德,洛姆·希拉,Fabrice Kordon公司:
CosyVerif：一个开源可扩展的验证环境。 33-36

系统评估

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/Jiao13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/Jiao13
文聘角:
自适应软件系统的适应水平和效率的度量。 37-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/ManderscheidP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/ManderscheidP13
马丁·曼德谢德,克里斯蒂安·普雷霍弗:
使用特征模型的分布式嵌入式系统网络性能评估。 46-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/XiaWLX13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/XiaWLX13
夏晓凯,季武,刘超（Chao Liu）,罗旭:
用于评估系统体系的模型驱动方法。 56至64

逻辑和算法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/AiguierGK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/AiguierGK13
马克·艾基尔,鲍里斯·戈尔登,丹尼尔·克罗布:
异构系统的适当逻辑。 65岁至74岁
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/Sharma13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/Sharma13
阿桑卡亚·夏尔马:
Promela的精化微积分。 75-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/YinHZG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/YinHZG13
梁泽贤,飞鹤,Min Zhou女士,顾明:
重用搜索树进行时间归纳的增量SAT求解。 85-92

系统建模与验证2

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/WuSZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/WuSZ13
吴晓峰,杰夫·桑德斯,朱慧彪:
AODV的形式化建模与分析。 93-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/ShaoLDCJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/ShaoLDCJ13
朱成绍,刘静（音译）,左华鼎,陈明松,宁康江:
网络物理系统的时空特性分析。 101-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/LiS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/LiS13
秦丽,格雷姆·史密斯:
使用有界公平性来指定和验证有序异步多代理系统。 111-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/CiobanuZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/CiobanuZ13
加布里埃尔·乔巴努,满族郑:
PAT中TiMo系统的自动分析。 121-124

实时系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/Andre13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/Andre13
埃蒂安·安德烈:
实时系统的观测器模式。 125-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/KangPS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/KangPS13
Eun-Young Kang（安永康）,吉尔斯·佩鲁因,皮埃尔·伊夫·肖本斯:
基于模型的能量感知实时汽车系统验证。 135-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/GoknilDPM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/GoknilDPM13
阿尔达·戈尼尔,朱利安·德安东尼,玛丽·阿格内斯·佩拉尔迪·弗拉蒂,油炸木槌:
使用TimeSquare分析TADL2时间约束的工具支持。 145-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/FalknerCFSHPFJRW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/FalknerCFSHPFJRW13
卡特里娜·福克纳,瓦内亚·奇普里亚诺夫,尼克拉斯·J·G·福克纳,克劳迪娅·萨博,詹姆斯·希尔,加文·普迪,丹尼尔·弗雷泽,艾德里安·金斯顿,玛丽安·里克曼,安德鲁·沃利斯:
分布式实时嵌入式防御系统的模型驱动性能预测。 155-158

短文第1部分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/JokhioD0H13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/JokhioD0H13
M.Shaban Jokhio先生,吉莉安·多比,孙晶（音译）,胡天明:
通过目标和变异进行Web服务测试。 159-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/NakajimaMT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/NakajimaMT13
中岛哈吉,Masuda先生,Ikuya Takahashi公司:
GUI Ferret：分析多窗口应用程序复杂行为的GUI测试工具。 163-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/MussaK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/MussaK13
穆罕默德·穆萨,Ferhat Khendek公司:
合并测试模型。 167-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/LinCTK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/LinCTK13
楚铁林,陈德鼎,长石仔,格雷戈里·卡普哈默:
基于历史的测试用例优先级和软件版本意识。 171-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/BenosmanBA13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/BenosmanBA13
里达·本诺曼,卡梅尔·巴考伊,伊夫·阿尔布利埃克斯:
为ESB体系结构开发并发性。 173-176

非功能特性分析：安全性和可靠性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/DongPML13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/DongPML13
董新树,凯拉斯·帕蒂尔,毛健（Jian Mao）,梁振凯:
诊断Ajax应用程序中攻击的综合客户端行为模型。 177-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/BaruaZW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/BaruaZW13
安东·巴鲁阿,穆罕默德·祖尔克宁,Komminist Weldemariam公司:
保护Web浏览器扩展免受JavaScript注入攻击。 188-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/BozzanoCM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/BozzanoCM13
马尔科·博扎诺,亚历山德罗·西马蒂,克里斯蒂安·马塔雷:
可靠性体系结构的自动分析。 198-207
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/LiBLY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/LiBLY13
李晓蕾,广东白,梁振凯,恒音:
通过资源虚拟化限制恶意Android应用程序的软件环境。 208-211

软件工程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/BlomKH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/BlomKH13
斯特凡·布洛姆,约瑟夫·基尼,玛丽克·赫斯曼:
开发人员如何使用API？并发案例研究。 212-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/XiaLZWZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/XiaLZWZ13
辛霞,大卫·罗,冯朱,王新余,Bo Zhou先生:
软件国际化和本地化：行业经验。 222-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/ShalanZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/ShalanZ13
阿提夫·沙兰,穆罕默德·祖尔克宁:
从系统错误日志中预测故障模式。 232-241
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/BissyandeTLJR13文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/BissyandeTLJR13
TegawendéF.Bissyandé,费迪安·图恩,大卫·罗,凌霄江,劳伦特·雷维耶尔:
猎户座：一个集成了多种软件工件的软件项目搜索引擎。 242-245

短文第2课时

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/Al-LailAFR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/Al-LailAFR13
穆斯塔法·阿勒利,斋月阿卜杜纳比,罗伯特·B·法国,英德拉基·雷:
严格分析移动系统中的时间访问控制属性。 246-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/LamprierBZH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/LamprierBZH13
西尔万·兰普利,尼古拉斯·巴斯基蒂斯,图菲克·齐亚迪,洛姆·梅桑·希拉:
CARE：逆向工程技术可靠比较和分析平台。 252-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/Satoh13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/Satoh13
佐藤一郎:
复杂计算系统的弹性体系结构。 256-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/LiuZQBW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/LiuZQBW13
刘鹏（音）,朱慧彪,秦胜超,菲利普·J·布鲁克,西武:
使用Maude链接Web服务的代数语义和操作语义。 260-263
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iceccs/ZhangYLL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iceccs/ZhangYLL13
张鹏程,于军（Jun Yu）,李文瑞,梁哈里顿:
基于场景规范的基于游戏的监控器。 264-267

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。