首页>外文会议>International Conference on Engineering of Complex Computer Systems

International Conference on Engineering of Complex Computer Systems

召开年：2013
召开地：Singapore(SG)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Measurements for Adaptation Level and Efficiency of Adaptive Software Systems

机译：自适应软件系统的适应水平和效率的度量
- 作者：Jiao Wenpin
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Adaptation Level;
- Adaptation Mechanism;
- Adaptive Software;
- Measurement;
2.Network Performance Evaluation for Distributed Embedded Systems Using Feature Models

机译：使用特征模型的分布式嵌入式系统网络性能评估
- 作者：Manderscheid Martin;Prehofer Christian
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Component Models;
- Embedded Systems;
- Network Performance Evaluation;
- Runtime Feature Models;
- Runtime Variability;
3.A Model-Driven Approach for Evaluating System of Systems

机译：一种模型驱动的系统评估方法
- 作者：Xia Xiaokai;Wu Ji;Liu Chao;Xu Luo
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- DoDAF;
- architecture;
- model system;
- model transfomration;
- model-driven;
- pre-evaluation;
- system of systems;
4.An Adequate Logic for Heterogeneous Systems

机译：异构系统的适当逻辑
- 作者：Aiguier Marc;Golden Boris;Krob Daniel
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- #x00B5;
- -calculus;
- Adequacy;
- Coalgebras;
- System modelling;
- System requirements;
- System semantics;
- Timed Mealy machines;
5.A Refinement Calculus for Promela

机译：Promela的微积分
- 作者：Sharma Asankhaya
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
6.Reusing Search Tree for Incremental SAT Solving of Temporal Induction

机译：重用搜索树进行时间归纳的增量SAT解
- 作者：Yin Liangze;He Fei;Zhou Min;Gu Ming
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Incremental SAT;
- bounded model checking;
- search tree;
- temporal induction;
7.Formal Modelling and Analysis of AODV

机译：AODV的正式建模与分析
- 作者：Wu Xiaofeng;Sanders J.W.;Zhu Huibiao
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
8.Expressiveness of Notations for Reasoning about Concurrency

机译：并发推理符号的表达
- 作者：Jones Cliff
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- abstraction;
- concurrency;
- formal methods;
9.Hybrid Relation Calculus

机译：混合关系演算
- 作者：He Jifeng
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
10.Goal Model Elaboration for Software Evolution

机译：软件演化的目标模型阐述
- 作者：Honiden Shinichi
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
11.Modeling and Verification of Component-Based Systems with Data Passing Using BIP

机译：使用BIP的数据传递对基于组件的系统进行建模和验证
- 作者：Su Chen;Zhou Min;Yin Liangze;Wan Hai
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- BIP;
- timed automata;
- verification;
12.Modeling and Verifying Real-Time Properties of Reactive Systems

机译：建模和验证反应性系统的实时属性
- 作者：Han Fenglin;Herrmann Peter;Le Hien
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- UML;
- model-driven engineering;
- reactive systems;
- real-time;
- software verification;
13.Knowledge-Based Verification of Service Compositions -- An SMT Approach

机译：基于知识的服务组合验证-SMT方法
- 作者：Walther Sven;Wehrheim Heike
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
14.CosyVerif: An Open Source Extensible Verification Environment

机译：CosyVerif：开源可扩展验证环境
- 作者：Andre Etienne;Lembachar Yousra;Petrucci Laure;Hulin-Hubard Francis
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Client-server systems;
- Distributed computing;
- Formal verification;
- Software architecture;
- Software reusability;
- Web services;
15.Spatio-temporal Properties Analysis for Cyber-physical Systems

机译：网络物理系统的时空特性分析
- 作者：Shao Zhucheng;Liu Jing;Ding Zuohua;Chen Mingsong
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- CPS;
- property;
- spatio-temporal logic;
- specification;
16.Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems

机译：使用有限公平性指定和验证有序的异步多主体系统
- 作者：Li Qin;Smith Graeme
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Asynchronous multi-agent systems;
- Bounded fairness;
- Formal specification and verification;
- Object-Z;
17.Automatic Analysis of TiMo Systems in PAT

机译：PAT中TiMo系统的自动分析
- 作者：Ciobanu Gabriel;Zheng Manchun
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Model Checking;
- PAT;
- TiMo;
- Timed Mobility;
18.Observer Patterns for Real-Time Systems

机译：实时系统的观察者模式
- 作者：Andre Etienne
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- CSP;
- Real-Time Systems;
- Specification;
- Timed Automata;
- Tool Support;
- Verification;
19.Model-Based Verification of Energy-Aware Real-Time Automotive Systems

机译：基于模型的节能实时汽车系统验证
- 作者：Kang Eun-Young;Perrouin Gilles;Schobbens Pierre-Yves
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- EAST-ADL;
- Energy-aware Timed Embedded Systems;
- Model Checking;
- Model-Transformation;
20.Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare

机译：使用TimeSquare分析TADL2时序约束的工具支持
- 作者：Goknil Arda;DeAntoni Julien;Peraldi-Frati Marie-Agnes;Mallet Frederic
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- EAST-ADL;
- analysis;
- timing constraints;
21.Model-Driven Performance Prediction of Distributed Real-Time Embedded Defense Systems

机译：分布式实时嵌入式防御系统的模型驱动性能预测
- 作者：Falkner Katrina;Chiprianov Vanea;Falkner Nickolas;Szabo Claudia
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
22.Web Services Testing via Goal and Mutation

机译：通过目标和突变进行Web服务测试
- 作者：Jokhio M.Shaban;Dobbie Gillian;Sun Jing;Hu Tianming
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Mutation Based Testing;
- Semantic Web Services;
23.GUI Ferret: GUI Test Tool to Analyze Complex Behavior of Multi-window Applications

机译：GUI Ferret：GUI测试工具，用于分析多窗口应用程序的复杂行为
- 作者：Nakajima Hajime;Masuda Takeshi;Takahashi Ikuya
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- GUI Testing;
- Graphical User Interfaces;
- Reverse Engineering;
24.Merging Test Models

机译：合并测试模型
- 作者：Mussa Mohamed;Khendek Ferhat
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Components;
- Integration;
- Interactions;
- Merging;
- Model Based Testing;
- Testing;
25.History-Based Test Case Prioritization with Software Version Awareness

机译：具有软件版本意识的基于历史的测试用例优先级
- 作者：Lin Chu-Ti;Chen Cheng-Ding;Tsai Chang-Shi;Kapfhammer Gregory M.
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Regression Testing;
- Test Case Prioritization;
26.Exploiting Concurrency for the ESB Architecture

机译：利用ESB架构的并发性
- 作者：Benosman Ridha;Barkaoui Kamel;Albrieux Yves
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Enterprise Service Bus (ESB);
- Massively parallel processing;
- Multithreading;
27.A Comprehensive Client-Side Behavior Model for Diagnosing Attacks in Ajax Applications

机译：用于诊断Ajax应用程序中攻击的综合客户端行为模型
- 作者：Dong Xinshu;Patil Kailas;Mao Jian;Liang Zhenkai
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
28.Protecting Web Browser Extensions from JavaScript Injection Attacks

机译：保护Web浏览器扩展免受JavaScript注入攻击
- 作者：Barua Anton;Zulkernine Mohammad;Weldemariam Komminist
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Browser Extension;
- JavaScript Injection Attack;
- Randomization;
- Static Analysis;
29.Automated Analysis of Reliability Architectures

机译：可靠性架构的自动化分析
- 作者：Bozzano Marco;Cimatti Alessandro;Mattarei Cristian
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- fault tree analysis;
- formal verification;
- reliability architectures;
- safety assessment;
30.A Software Environment for Confining Malicious Android Applications via Resource Virtualization

机译：通过资源虚拟化限制恶意Android应用程序的软件环境
- 作者：Li Xiaolei;Bai Guangdong;Liang Zhenkai;Yin Heng
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Android malware;
- isolation;
- mobile security;
31.How Do Developers Use APIs? A Case Study in Concurrency

机译：开发人员如何使用API？并发案例研究
- 作者：Blom Stefan;Kiniry Joseph;Huisman Marieke
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- API usage;
- Qualitas Corpus;
- java. util. concurrent;
- static analysis;
32.Software Internationalization and Localization: An Industrial Experience

机译：软件国际化和本地化：行业经验
- 作者：Xia Xin;Lo David;Zhu Feng;Wang Xinyu
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Industry Experience;
- Reengineering;
- Software Internationalization;
- Software Localization;
33.Runtime Prediction of Failure Modes from System Error Logs

机译：通过系统错误日志对故障模式进行运行时预测
- 作者：Shalan Atef;Zulkernine Mohammad
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- failure mode;
- failure prediction;
- regression analysis;
- runtime error log;
- software reliability;
34.Orion: A Software Project Search Engine with Integrated Diverse Software Artifacts

机译：Orion：具有集成的各种软件工件的软件项目搜索引擎
- 作者：Bissyande Tegawende F.;Thung Ferdian;Lo David;Jiang Lingxiao
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- DSL;
- GitHub;
- Orion;
- Project Search;
35.Rigorous Analysis of Temporal Access Control Properties in Mobile Systems

机译：移动系统中时间访问控制属性的严格分析
- 作者：Al-Lail Mustafa;Abdunabi Ramadan;France Robert B.;Ray Indrakshi
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Access Control;
- Snapshot;
- Temporal;
- Validation;
36.CARE: A Platform for Reliable Comparison and Analysis of Reverse-Engineering Techniques

机译：CARE：一个可靠地进行反向工程技术比较和分析的平台
- 作者：Lamprier Sylvain;Baskiotis Nicolas;Ziadi Tewfik;Hillah Lom Messan
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
37.Resilient Architecture for Complex Computing Systems

机译：复杂计算系统的弹性架构
- 作者：Satoh Ichiro
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- adaptation;
- differentiation;
- distributed system;
38.Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

机译：使用Maude链接Web服务的代数语义和操作语义
- 作者：Liu Peng;Zhu Huibiao;Qin Shengchao;Brooke Phillip J.
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
39.Game-Based Monitors for Scenario-Based Specification

机译：基于游戏的监视器，用于基于场景的规范
- 作者：Zhang Pengcheng;Yu Jun;Li Wenrui;Leung Hareton
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2013年
- Game-based Monitors;
- Property Sequence Charts;
- Scenario-based Specification;
40.Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

机译：要求 - 工业网络系统的辅助自动测试案件
- 作者：Roopak Sinha;Cheng Pang;Gerardo Santillan Martinez;Juha Kuronen;Valeriy Vyatkin
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- CESAR;
- model-based testing;
- model-driven engineering;
- ontologies;
- requirements;
- test case generation;
41.Semantic Network Model: A Reasoning Engine for Software Requirements

机译：语义网络模型：软件要求的推理引擎
- 作者：Kushal Ahmed;Lian Wen;Abdul Sattar;Reza Farid
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Behavior Engineering;
- Requirements Engineering;
- Requirements Management;
- Semantic Networks;
42.Hardened Flow-Sensitive Trace Formula for Fault Localization

机译：用于故障定位的硬化流动敏感痕量公式
- 作者：Si-Mohamed Lamraoui;Shin Nakajima;Hiroshi Hosobe
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Concolic Execution;
- LLVM;
- Model-based Diagnosis Theory;
- Partial Maximum Satisfiability;
43.Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)

机译：用于合成嵌入式系统的AADL模型的多目标改进（MU-RAMSES）
- 作者：Smail Rahmoun;Etienne Borde;Laurent Pautet
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
44.Web Application Architecture Security Evaluation Method Based on AADL

机译：基于AADL的Web应用架构安全评估方法
- 作者：Shaoguang Geng;Xiaohong Li;Zhiyong Feng;Dazhi Sun
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- AADL;
- AHP;
- architecture;
- component;
- security eveluation;
45.An Invariant Inference Framework by Active Learning and SVMs

机译：主动学习和SVM的不变推理框架
- 作者：Li Jiaying
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- SVMs;
- active learning;
- invariant inference;
46.SeBip: A Symbolic Executor for BIP

机译：SEBIP：BIP的符号执行器
- 作者：Wang Qiang;Simon Bliudze
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- BIP;
- Symbolic execution;
- partial order reduction;
47.A Make/Buy/Reuse Feature Development Framework for Product Line Evolution

机译：制作/购买/再利用产品线演进功能开发框架
- 作者：Juha Savolainen;Mike Mannion
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- feature;
- make-buy;
- product line;
48.Formal Development of a Real-Time Operating System Memory Manager

机译：正式开发实时操作系统内存管理器
- 作者：Wen Su;Jean-Raymond Abrial;Geguang Pu;Bin Fang
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Event-B;
- Memory Manager;
- Operating System;
- refinements;
49.Sports Strategy Analytics Using Probabilistic Reasoning

机译：运动策略分析使用概率推理
- 作者：Jin Song Dong;Ling Shi;Le Vu Nguyen Chuong;Kan Jiang;Jing Sun
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- MDP;
- probabilistic model checking;
- sport;
- strategy consulting;
50.Formal Analysis of a Single Sign-On Protocol Implementation for Android

机译：对Android的单一登录协议实施的正式分析
- 作者：Quanqi Ye;Guangdong Bai;Kailong Wang;Jin Song Dong
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Facebook Connect;
- Facebook Login;
- Formal Analysis;
- Formal Method;
- Formal Model;
- Mobile Application;
- Single Sign-on (SSO);
51.Combining Software Metrics and Text Features for Vulnerable File Prediction

机译：组合软件指标和文本功能对易受攻击的文件预测
- 作者：Yun Zhang;David Lo;Xin Xia;Bowen Xu;Jianling Sun;Shanping Li
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Machine Learning;
- Text Mining;
- Vulnerable File;
52.All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android

机译：您的所有会话都属于我们：通过Android上的备份通道调查验证器泄漏
- 作者：Guangdong Bai;Jun Sun;Jianliang Wu;Quanqi Ye;Li Li;Jin Song Dong;Shanqing Guo
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
53.Design and Evaluation of Feature Distributed Malware Attacks against the Internet of Things (IoT)

机译：特征分布式恶意软件攻击的设计与评估事物互联网（物联网）
- 作者：Byungho Min;Vijay Varadharajan
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Cyber-Physical Systems;
- Internet of Things;
- Malware;
- Security;
- Smart Home;
54.Probabilistic Denotational Semantics for an Interrupt Modelling Language

机译：用于中断建模语言的概率表示语言
- 作者：Yanhong Huang;Yongxin Zhao;Shengchao Qin;Jifeng He
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Denotational Semantics;
- Interrupt;
- Probabilistic Semantics;
- Unifying Theories of Programming;
55.Formal Certification of Non-interferent Android Bytecode (DEX Bytecode)

机译：无干扰Android字节码（Dex Bytecode）的正式认证
- 作者：Hendra Gunadi
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Android;
- Security;
- Static Analysis;
- Type System;
56.Improved Recovery for Proactive, Distributed Routing

机译：提高主动，分布式路由的恢复
- 作者：Mojgan Kamali;Luigia Petre
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
57.Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium)

机译：模型检查问题的并行和分布式算法（博士组织）
- 作者：Zhimin Wu
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
58.The Complexity of Deadline Analysis for Workflow Graphs with a Single Resource

机译：单个资源工作流图截止日期分析的复杂性
- 作者：Mirela Botezatu;Hagen Voelzer;Lothar Thiele
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
59.Fitness Landscape Characterisation for Constrained Software Architecture Optimisation Problems

机译：受限软件架构优化问题的健身景观特征
- 作者：Aldeida Aleti;Irene Moser
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Software architecture optimisation;
- constraints;
- fitness landscape characterisation;
- reliability;
60.Towards a Session Logic for Communication Protocols

机译：致通信协议的会话逻辑
- 作者：Florin Craciun;Tibor Kiss;Andreea Costea
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- protocol specification;
- protocol verification;
- separation logic;
- session logic;
- session types;
61.Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization

机译：基于多目标优化的实时系统建筑探索
- 作者：Rahma Bouaziz;Laurent Lemarchand;Frank Singhoff;Bechir Zalila;Mohamed Jmaiel
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Architecture exploration;
- Multi-Objective Optimization;
- PAES;
- Real-time Embedded Systems;
- Scheduling Analysis;
62.Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code

机译：验证Freertos的循环双链接列表实现：从抽象规范到机器代码
- 作者：David Sanan;Liu Yang;Zhao Yongwang;Xing Zhenchang;Mike Hinchey
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Formal methods;
- Machine Code verification;
- Microkernel Verification;
- Theorem Proving verification;
63.Security Concepts as Add-On for Process Models

机译：安全概念作为过程模型的加载项
- 作者：Jacob Geisel;Brahim Hamid;Jean-Michel Bruel
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Model-Driven Engineering;
- Process Modeling;
- Repository;
- Reuse;
- Secure Software Engineering;
64.Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors

机译：使用动态安全监视器提高租户信任的萨斯应用
- 作者：Mohamed Almorsy Abdelrazek;John Grundy;Amani S. Ibrahim
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Cloud computing monitoring;
- Security monitoring;
- run-time verification;
- security metrics;
65.A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems

机译：在群体机器人系统中推理紧急行为的正式框架
- 作者：Qin Li;Jinxun Wang;Qiwen Xu;Yanhong Huang;Huibiao Zhu
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Emergent Behaviors;
- Hybrid Relational Modelling Language;
- Refinement;
- Swarm Robotic Systems;
66.Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion

机译：在许多层次上交谈：多层系统的片上协议转换
- 作者：Roopak Sinha
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- AMBA;
- OSI;
- SoC;
- converter generation;
- formal methods;
- protocol conversion;
67.Comparing Routing Protocols

机译：比较路由协议
- 作者：Mojgan Kamali;Luigia Petre
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
68.GPU Accelerated On-the-Fly Reachability Checking

机译：GPU加速可直接的可达性检查
- 作者：Zhimin Wu;Yang Liu;Jun Sun;Jianqi Shi;Shengchao Qin
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
69.Analyzing Security Property of Android Application Implementation Using Formal Method

机译：使用形式方法分析Android应用程序实现的安全性
- 作者：Quanqi Ye
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2015年
- Analysis;
- Android;
- App;
- Formal Method;
- Formal Model;
- Information Flow;
- SSO;
- Single Sign-on;
70.TORUS: Tracing Complex Requirements for Large Cyber-Physical Systems

机译：托鲁斯：追踪大型网络物理系统的复杂要求
- 作者：Barry Dowdeswell;Roopak Sinha;Enrico Haemmerle
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- IEC Standards;
- Complexity theory;
- Software;
- Color;
- Automotive engineering;
- Capability maturity model;
- Computers;
71.A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles

机译：用于建模和验证车辆防撞控制的空间逻辑
- 作者：Bingqing Xu;Qin Li
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Automobiles;
- Roads;
- Safety;
- Computational modeling;
- Calculus;
- Cognition;
72.Automatic Construction of Callback Model for Android Application

机译：用于Android应用程序的回调模型的自动构建
- 作者：Chenkai Guo;Quanqi Ye;Naipeng Dong;Guangdong Bai;Jin Song Dong;Jing Xu
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Registers;
- Analytical models;
- Erbium;
- Androids;
- Humanoid robots;
- Smart phones;
- Algorithm design and analysis;
73.Using Mobile Phone Based Camera to Read Information from a Li-Fi Source

机译：使用基于手机的相机从LI-FI源读取信息
- 作者：Sreesha Damodaran;Talal Shaikh;Nicholas K Taylor
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Light emitting diodes;
- Cameras;
- Receivers;
- Smart phones;
- Image color analysis;
- Mobile communication;
74.From Code to Design: A Reverse Engineering Approach

机译：从代码设计：逆向工程方法
- 作者：Elliot Varoy;John Burrows;Jing Sun;Sathiamoorthy Manoharan
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Unified modeling language;
- Software;
- Java;
- Reverse engineering;
- Measurement;
- Prototypes;
- Complexity theory;
75.Modelling Link State Routing in Event-B

机译：在Event-B中建模链路状态路由
- 作者：Mojgan Kamali;Luigia Petre
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Routing protocols;
- Routing;
- Data models;
- Ad hoc networks;
- Context;
- Wireless sensor networks;
76.A Semantic Approach for Managing Trust and Uncertainty in Distributed Systems Environments

机译：在分布式系统环境中管理信任和不确定性的语义方法
- 作者：Fano Ramparany;Ravi Mondi;Yves Demazeau
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- trusted computing;
- distributed processing;
- Internet;
- ontologies (artificial intelligence);
77.Verification of Nash-Equilibrium for Probabilistic BAR Systems

机译：验证概率杆系统的纳什平衡
- 作者：Dileepa Fernando;Naipeng Dong;Cyrille Jegourel;Jin Song Dong
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Protocols;
- Games;
- Probabilistic logic;
- Bars;
- Probability distribution;
- Cryptography;
- Game theory;
78.Bridging Missions and Architecture in Software-Intensive Systems-of-Systems

机译：软件密集型系统中的桥接任务和架构
- 作者：Eduardo Silva;Everton Cavalcante;Thais Batista;Flavio Oquendo
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Logic gates;
- Software architecture;
- Computer architecture;
- Data models;
- Concrete;
- Runtime;
- Software;
79.Semantic Technologies for Realising Decentralised Applications for the Web of Things

机译：用于实现物品网的分散应用的语义技术
- 作者：Felix Leif Keppmann;Maria Maleshkova;Andreas Harth
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Internet of Things;
80.Engineering Socially-Aware Systems and Applications

机译：工程社会感知系统和应用程序
- 作者：Muhammad Ashad Kabir;Jun Han;Alan Colman;Naif R. Aljohani;Mohammed Basheri;Zhenchang Xing;Shang-Wei Lin
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Context;
- Vehicles;
- Runtime;
- Software;
- Adaptation models;
- Context modeling;
81.Data Analysis of Digital Currency Networks: Namecoin Case Study

机译：数字货币网络数据分析：NameCoin案例研究
- 作者：Tao-Hung Chang;Davor Svetinovic
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Online banking;
- Cryptography;
- Data mining;
- Social network services;
- Databases;
- Standards;
- Market research;
82.Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption

机译：基于自动数据的模型检查的同时的动作SCC检测，公平假设
- 作者：Zhimin Wu;Yi Xu;Akin Gunay;Yang Liu;Shengchao Qin
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Model checking;
- Automata;
- Silicon;
- Space exploration;
- Explosions;
- Parallel processing;
- Algorithm design and analysis;
83.Towards Using Concurrent Java API Correctly

机译：正确使用并发Java API
- 作者：Shuang Liu;Guangdong Bai;Jun Sun;Jin Song Dong
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Java;
- Concurrent computing;
- Computer bugs;
- Synchronization;
- Natural language processing;
- Standards;
- Libraries;
84.Fostering Software Architect and Programmer Collaboration

机译：促进软件架构师和程序员协作
- 作者：Van Cam Pham;Shuai Li;Ansgar Radermacher;Sébastien Gérard;Chokri Mraidha
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Unified modeling language;
- Synchronization;
- Software;
- Object oriented modeling;
- Biological system modeling;
- Collaboration;
- Reverse engineering;
85.CostDL: A Cost Models Description Language for Performance Metrics in Database

机译：COSTDL：数据库中性能指标的成本模型描述语言
- 作者：Abdelkader Ouared;Yassine Ouhammou;Ladjel Bellatreche
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Mathematical model;
- Context;
- Measurement;
- Database systems;
- Analytical models;
- Cost function;
86.Improving Quality of Use Case Documents through Learning and User Interaction

机译：通过学习和用户互动提高使用案例文件的质量
- 作者：Shuang Liu;Jun Sun;Hao Xiao;Bimlesh Wadhwa;Jin Song Dong;Xinyu Wang
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Erbium-doped fiber amplifiers;
- Stakeholders;
- Monitoring;
- Natural language processing;
- System analysis and design;
- Software;
87.Experimental Frailty Model towards an Adaptable Service Delivery for Aging People

机译：对老化人的适应性服务提供实验的脆弱模型
- 作者：Joaquim Bellmunt;Mounir Mokhtari;Bessam Abdulzarak;Hamdi Aloulou;Martin Kody?
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Computational modeling;
- Aging;
- Cognition;
- Adaptation models;
- Numerical models;
- Ambient assisted living;
- Data collection;
88.Towards a User-Guided Difference-Based Detection of Atomic Changes

机译：朝向用户指导基于差异的原子变化检测
- 作者：Djamel Eddine Khelladi;Reda Bendraou;Marie-Pierre Gervais
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Containers;
- Biological system modeling;
- Unified modeling language;
- Electronic mail;
- Maintenance engineering;
- Context;
- Computers;
89.Guiding the Selection of Security Patterns for Real-Time Systems

机译：指导选择实时系统的安全模式
- 作者：Anas Motii;Brahim Hamid;Agnes Lanusse;Jean-Michel Bruel
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Security;
- Real-time systems;
- Computer architecture;
- Context;
- Analytical models;
- Systems architecture;
- Software;
90.Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata

机译：使用Event-B和Uppaal Timed Automate开发多视图合同
- 作者：Jüri Vain;Leonidas Tsiopoulos;Jishu Guin
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Contracts;
- Timing;
- Automata;
- Semantics;
- Robot kinematics;
- Charge coupled devices;
91.A Collaborative Code Review Platform for GitHub

机译：GitHub的协作代码审查平台
- 作者：Akshay Kalyan;Matthew Chiam;Jing Sun;Sathiamoorthy Manoharan
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Software;
- Inspection;
- Industries;
- Collaboration;
- Servers;
- Message systems;
- Computers;
92.Meduse: An Approach for Tailoring Software Development Process

机译：MEDUSE：一种剪裁软件开发过程的方法
- 作者：Sara Casare;Tewfik Ziadi;Anarosa Alves Franco Brand?o;Zahia Guessoum
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Computers;
93.Universal Analysis and Detection Framework for Location Aided Routing

机译：位置辅助路由的普遍分析与检测框架
- 作者：Xin Zhang;Xiaohong Li;Zhiyong Feng;Guangquan Xu
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Routing;
- Ad hoc networks;
- Mobile computing;
- Algorithm design and analysis;
- Routing protocols;
- Security;
94.Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study

机译：逐步正式建模与event-b的自适应系统验证。自动流动站保护案例研究
- 作者：Neeraj Kumar Singh;Yamine A?t-Ameur;Marc Pantel;Arnaud Dieumegard;Eric Jenn
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Autonomous systems;
- Safety;
- Adaptation models;
- Embedded systems;
- Context modeling;
- Software systems;
- Context;
95.Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor

机译：异构多处理器同步数据流图的Pareto最佳调度
- 作者：Yu-Lei Gu;Xue-Yang Zhu;Guangquan Zhang;Yifan He
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Energy consumption;
- Throughput;
- Schedules;
- Computational modeling;
- Pareto optimization;
- Optimal scheduling;
96.Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence

机译：检测基于规则的环境智能的推理不一致
- 作者：Hamdi Aloulou;Romain Endelin;Mounir Mokhtari;Bessam Abdulrazak;Firas Kaddachi;Joaquim Bellmunt
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Cognition;
- Ontologies;
- Production facilities;
- Engines;
- Electronic mail;
- Resource description framework;
- Complexity theory;
97.Application of Organizational Process Asset Library in High Maturity Process Improvement

机译：组织过程资产库在高分成熟过程改进中的应用
- 作者：Sidou Dong;Aihua Ren;Xin Wang
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Libraries;
- Guidelines;
- Standards;
- Software;
- Business;
- Delays;
- Databases;
98.An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata

机译：模型检查概率定时自动机的决策图实验
- 作者：Wei Ji;Farn Wang;Peng Wu;Yi Lv
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Probabilistic logic;
- Clocks;
- Automata;
- Prototypes;
- Reachability analysis;
- Cost accounting;
- Model checking;
99.Extracting Permission-Based Specifications from a Sequential Java Program

机译：从顺序Java程序中提取基于权限的规范
- 作者：Ayesha Sadiq;Yuan-Fang Li;Sea Ling;Ijaz Ahmed
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Reactive power;
- Context;
- Concurrent computing;
- Java;
- Programming;
- Inference algorithms;
- Computers;
100.Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL

机译：正式地描述SOSADL软件密集型系统的架构行为
- 作者：Flavio Oquendo
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2016年
- Computer architecture;
- Software architecture;
- Concrete;
- Complex systems;
- Complexity theory;
- Software;
- Semantics;