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

International Conference on Engineering of Complex Computer Systems

召开年：2014
召开地：Tianjin(CN)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Evolving Commitments for Self-Adaptive Socio-technical Systems

机译：自适应社会技术系统的发展承诺
- 作者：Peng Xin;Xie Yi;Yu Yijun;Mylopoulos John;Zhao Wenyun
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Adaptationmodels;
- Estimation;
- Liftingequipment;
- Motorcycles;
- Proposals;
- Protocols;
- Switches;
- AgentCommitments;
- OpenSystems;
- Socio-TechnicalSystems;
- SoftwareAdaptation;
2.A Behavior-Aware Systematic Approach for Merging Business Process Fragments

机译：一种用于合并业务流程片段的行为感知系统方法
- 作者：Zemni Mohamed Anis;Mammar Amel;Alouane Nejib Ben Hadj
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Buildings;
- Business;
- Convergence;
- Logicgates;
- Merging;
- Processcontrol;
- Systematics;
- Businessprocessfragment;
- adjacencymatrix;
- behavior;
- merge;
3.Automatic Fine-Grained Issue Report Reclassification

机译：自动细化问题报告重新分类
- 作者：Kochhar Pavneet Singh;Thung Ferdian;Lo David
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Documentation;
- Featureextraction;
- Predictivemodels;
- Supportvectormachines;
- Training;
- Vectors;
- Vegetation;
- Fine-Grained;
- IssueReports;
- Reclassification;
4.Understanding Complex Binary Loading Behaviors

机译：了解复杂的二进制加载行为
- 作者：Dai Ting;Zhang Mingwei;Yap Roland H.C.;Liang Zhenkai
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Libraries;
- Loading;
- Operatingsystems;
- Payloads;
- Performanceanalysis;
- Rendering(computergraphics);
5.A Reference Framework for the Automated Exploration of Web Applications

机译：Web应用程序自动探索的参考框架
- 作者：Breton Gabriel Le;Bergeron Nicolas;Halle Sylvain
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Browsers;
- Crawlers;
- HTML;
- Navigation;
- Servers;
- Testing;
- Websites;
- benchmark;
- crawlers;
- webapplications;
6.How Do Open Source Communities Document Software Architecture: An Exploratory Survey

机译：开源社区如何记录软件体系结构：探索性调查
- 作者：Ding Wei;Liang Peng;Tang Antony;Vliet Hans van;Shahin Mojtaba
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
7.OOPN-SRAM: A Novel Method for Software Risk Assessment

机译：OOPN-SRAM：一种用于软件风险评估的新方法
- 作者：Wu Xiaofei;Li Xiaohong;Feng Ruitao;Xu Guangquan;Hu Jing;Feng Zhiyong
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Availability;
- Computationalmodeling;
- Educationalinstitutions;
- Objectorientedmodeling;
- Riskmanagement;
- Security;
- Software;
- CWE;
- OOPN;
- riskassessment;
- software;
- vulnerabilityscanner;
8.Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL

机译：生成用于UML / MARTE CCSL中指定的时钟约束的SystemC实现
- 作者：Peters Judith;Wille Robert;Drechsler Rolf
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Clocks;
- Embeddedsystems;
- Hardware;
- Sensors;
- Timing;
- Unifiedmodelinglanguage;
- CCSL;
- FSL;
- MARTE;
- SystemDesign;
- SystemC;
- UML;
9.Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks

机译：基于模型检验的基因调控网络参数估计方法
- 作者：Mizera Andrzej;Pang Jun;Yuan Qixia
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
10.Model Checking Rate-Monotonic Scheduler with TMSVL

机译：具有TMSVL的模型检查速率单调调度程序
- 作者：Cui Jin;Duan Zhenhua;Tian Cong
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Algorithmdesignandanalysis;
- Clocks;
- Educationalinstitutions;
- Modelchecking;
- Real-timesystems;
- Scheduling;
- Timefactors;
- Rate-MonotonicScheduler;
- TMSVL;
- modelchecking;
- real-timesystems;
11.An Adaptive Auto-configuration Tool for Hadoop

机译：Hadoop的自适应自动配置工具
- 作者：Li Changlong;Zhuang Hang;Lu Kun;Sun Mingming;Zhou Jinhong;Dai Dong;Zhou Xuehai
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Benchmarktesting;
- Cloudcomputing;
- Computers;
- Hardware;
- Mathematicalmodel;
- Optimization;
- Systemperformance;
- Auto-Configuration;
- Hadoop;
- Self-Learning;
12.Symbolic Analysis of an Electric Vehicle Charging Protocol

机译：电动汽车充电协议的符号分析
- 作者：Li Li;Pang Jun;Liu Yang;Sun Jun;Dong Jin Song
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Authentication;
- Cryptography;
- Educationalinstitutions;
- Electricvehicles;
- Privacy;
- Protocols;
- anonymitylocation;
- authentication;
- electricvehiclecharingprotocol;
- privacy;
- secrecy;
- symbolicverification;
13.SQLR: Grammar-Guided Validation of SQL Injection Sanitizers

机译：SQLR：SQL注入清理程序的语法指导验证
- 作者：Sathyanarayan Sai;Qi Dawei;Liang Zhenkai;Roychoudary Abhik
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Art;
- Concrete;
- Databases;
- Educationalinstitutions;
- Grammar;
- Security;
- Servers;
14.A Refinement Calculus for Hybrid Systems

机译：混合系统的细化演算
- 作者：Gu Bin;Zou Liang
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Abstracts;
- Aerospaceelectronics;
- Calculus;
- Equations;
- Interrupters;
- Semantics;
- Trajectory;
- Galoisconnection;
- Hybridsystems;
- hybridCSP;
- refinement;
- semantics;
15.A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness

机译：评估网络设备配置正确性的惰性评估策略
- 作者：Ngoupe Eric Lunaud;Stoesel Sylvain;Parisot Clement;Halle Sylvain;Valtchev Petko;Cherkaoui Omar;Boucher Pierre
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Algorithmdesignandanalysis;
- Bandwidth;
- Computernetworks;
- Correlation;
- Performanceevaluation;
- Protocols;
- XML;
- Meta-CLI;
- configurationcorrectness;
- logicalconstraints;
- networkmanagement;
16.Exact and Efficient Temporal Steering of Software Behavioral Model Inference

机译：精确有效的软件行为模型推理时间指导
- 作者：Lamprier Sylvain;Ziadi Tewfik;Baskiotis Nicolas;Hillah Lom Messan
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Accuracy;
- Approximationalgorithms;
- Approximationmethods;
- Automata;
- Complexitytheory;
- Computationalmodeling;
- Merging;
17.DroidVault: A Trusted Data Vault for Android Devices

机译：DroidVault：适用于Android设备的可信数据保险库
- 作者：Li Xiaolei;Hu Hong;Bai Guangdong;Jia Yaoqi;Liang Zhenkai;Saxena Prateek
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Androids;
- Bridges;
- Cryptography;
- Hardware;
- Humanoidrobots;
- Servers;
- Mobilesystemsecurity;
- Operatingsystemsecurity;
- Technologiesfortrustworthycomputing;
18.Knowledge Base Construction Process for Smart-City Services

机译：智慧城市服务的知识库构建过程
- 作者：Bellini Pierfrancesco;Nesi Paolo;Rauch Nadia
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Citiesandtowns;
- Datamodels;
- Knowledgebasedsystems;
- Ontologies;
- Resourcedescriptionframework;
- Roads;
- Sensors;
- Smartcity;
- linkedopengraph;
- reconciliation;
- validationandverificationofknowledgebase;
19.Keynotes

机译：主题演讲
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
20.Clause Replication and Reuse in Incremental Temporal Induction

机译：增量时间归纳中的子句复制和重用
- 作者：Yin Liangze;He Fei;Gu Ming;Sun Jiaguang
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Benchmarktesting;
- Databases;
- Educationalinstitutions;
- Laboratories;
- Modelchecking;
- Safety;
- Searchproblems;
- Booleansatisfiability;
- Temporalinduction;
- boundedmodelchecking;
- clauselearning;
21.Automatic Defect Categorization Based on Fault Triggering Conditions

机译：基于故障触发条件的缺陷自动分类
- 作者：Xia Xin;Lo David;Wang Xinyu;Zhou Bo
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Buildings;
- Educationalinstitutions;
- Featureextraction;
- Softwaresystems;
- Textmining;
- Training;
- Bohrbug;
- Categorization;
- FaultTriggers;
- FeatureSelection;
- FuzzySet;
- MachineLearning;
- Mandelbug;
22.An Extended UML Method for the Verification of Security Protocols

机译：用于验证安全协议的扩展UML方法
- 作者：Shen Gang;Li Xiaohong;Feng Ruitao;Xu Guangquan;Hu Jing;Feng Zhiyong
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Calculus;
- Cognition;
- Cryptography;
- Datamodels;
- Protocols;
- Unifiedmodelinglanguage;
- Proverif;
- Spicalculus;
- confidentiality;
- correspondence;
- extendedUML;
23.From TiMo to Event-B: Event-Driven Timed Mobility

机译：从TiMo到事件B：事件驱动的定时移动性
- 作者：Ciobanu Gabriel;Hoang Thai Son;Stefanescu Alin
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Abstracts;
- Clocks;
- Concrete;
- Context;
- Encoding;
- Semantics;
- Syntactics;
- Event-B;
- formalmethods;
- pi-calculus;
- refinement;
- theoremproving;
- timedmobility;
- verification;
24.An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS

机译：SystemC事务级别模型的可执行语义及其在VERDS中的应用
- 作者：Zeng Naiju;Zhang Wenhui
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Abstracts;
- Computationalmodeling;
- Semantics;
- Software;
- Time-domainanalysis;
- Time-varyingsystems;
- Unifiedmodelinglanguage;
- SystemC;
- VERDS;
- formalsemantics;
- transactionlevelmodel;
25.A Trace-Based JIT Compilation Framework for XQuery

机译：基于跟踪的XQuery JIT编译框架
- 作者：Wu Chenzhi;Liao Husheng;Yu Chenglong;Su Hang
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Abstracts;
- Books;
- Engines;
- Flowgraphs;
- Java;
- Radiationdetectors;
- Runtime;
- JITcompilation;
- SECDabstractmachine;
- Trace-basedcompilation;
- XQuery;
26.QScheduler: A Tool for Parallel Query Processing in Database Systems

机译：QScheduler：数据库系统中并行查询处理的工具
- 作者：Zhang Qingfeng;Li Shanshan;Xu Jing
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
27.Behavior Gaps and Relations between Operating System and Applications on Accessing DRAM

机译：行为差异以及操作系统和应用程序在访问DRAM上的关系
- 作者：Sun Beilei;Li Xi;Zhu Zongwei;Zhou Xuehai
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Benchmarktesting;
- Computerarchitecture;
- Computers;
- Correlation;
- Kernel;
- Randomaccessmemory;
- DRAM;
- Kernel;
- RBM;
- User;
28.Design and Analysis of Security Attacks against Critical Smart Grid Infrastructures

机译：针对关键智能电网基础设施的安全攻击的设计和分析
- 作者：Min Byungho;Varadharajan Vijay
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Controlsystems;
- Malware;
- Payloads;
- Protocols;
- Smartgrids;
- Software;
- cyberattack;
- cyber-physicalsystem;
- deceptiveattack;
- malware;
- security;
- smartgrid;
29.Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study

机译：推导基于模型的测试的使用模型变体：工业案例研究
- 作者：Samih Hamza;Guen Helene Le;Bogusch Ralf;Acher Mathieu;Baudry Benoit
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
30.A Thread Behavior-Based Memory Management Framework on Multi-core Smartphone

机译：多核智能手机上基于线程行为的内存管理框架
- 作者：Zhu Zongwei;Li Xi;Liu Hengchang;Ji Cheng;Xu Yuan;Zhou Xuehai;Sun Beilei
- 会议名称：《International Conference on Engineering of Complex Computer Systems》 | 2014年
- Androids;
- Humanoidrobots;
- Instructionsets;
- Libraries;
- Memorymanagement;
- Multicoreprocessing;
- Resourcemanagement;
- Android;
- behaviors;
- memorymanagement;
- smartphone;
- thread;