首页>外文会议>2010 15th IEEE International Conference on Engineering of Complex Computer Systems

2010 15th IEEE International Conference on Engineering of Complex Computer Systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Publisher's Information

机译：发行人信息
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
2.Sponsors

机译：赞助商
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
3.Keynote Abstract - The Effectiveness of CSP Model Checking

机译：主题演讲摘要-CSP模型检查的有效性
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
4.Reviewers

机译：审稿人
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
5.Foreword

机译：前言
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
6.Title Page iii

机译：标题页iii
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
7.Copyright Page

机译：版权页
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
8.Title Page i

机译：标题页
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
9.In Search of Sound 'in silico' Research - Validating a Complex System Simulation

机译：寻找合理的“计算机模拟”研究-验证复杂的系统仿真
- 作者：Ghetiu Teodor;Polack Fiona A. C.;Bown James L.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- complex;
- simulation;
- systems;
- validation;
10.Publisher's Information

机译：发行人信息
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
11.Sponsors

机译：赞助商
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
12.Keynote Abstract - The Effectiveness of CSP Model Checking

机译：主题演讲摘要-CSP模型检查的有效性
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
13.Reviewers

机译：审稿人
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
14.Foreword

机译：前言
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
15.Title Page iii

机译：标题页iii
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
16.Copyright Page

机译：版权页
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
17.Title Page i

机译：标题页
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
18.In Search of Sound 'in silico' Research - Validating a Complex System Simulation

机译：寻找合理的“计算机模拟”研究-验证复杂的系统仿真
- 作者：Ghetiu Teodor;Polack Fiona A. C.;Bown James L.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- complex;
- simulation;
- systems;
- validation;
19.Keynote Abstract - On the Use of Quantitative Models for Open-World Software

机译：主题演讲摘要-定量模型在开放世界软件中的使用
- 会议名称：《》 | 2010年
20.Author Index

机译：作者索引
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
21.Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation

机译：迈向肉芽肿形成的自我修复群机器人系统
- 作者：Ismail Amelia Ritahani;Timmis Jon
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- granuloma formation;
- swarm robotics;
22.Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering

机译：迈向基于生物启发的自适应信息过滤解决方案设计
- 作者：Azmi Nurulhuda Firdaus Mohd;Timmis Jon;Polack Fiona
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Adaptive Information Filtering;
- Artificial Immune System;
- CoSMoS Special Session;
- Complex System;
23.Testing .NET Code with YETI

机译：使用YETI测试.NET代码
- 作者：Oriol Manuel;Tassis Sotirios
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Automatic test software;
- Software engineering;
24.Enriching Use Cases with CTTs

机译：通过CTT丰富用例
- 作者：Mizouni Rabeb;Sinnig Daniel;Khendek Ferhat
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
25.McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java

机译：McC ++ / Java：在C ++ / Java中启用基于多核的监视和容错
- 作者：Yang Lu;Yu Liqian;Tang Jianwen;Wang Linzhang;Zhao Jianhua;Li Xuandong
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
26.A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring

机译：用于复杂车辆故障诊断和健康监控的多智能体系统
- 作者：Murphey Yi Lu;Chen Zhihang
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- component;
- multi-agent systems;
- signal analysis;
- vehicle fault diagnostics;
27.Engineering Optimization Models at Runtime for Dynamically Adaptive Systems

机译：动态自适应系统运行时的工程优化模型
- 作者：Javed Fahad;Arshad Naveed;Wallin Fredrik;Vassileva Iana;Dahlquist Erik
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- autonomic systems;
- self-aware;
- self-optimization;
- smart grid;
28.Engineering Quality Requirements Using Quality Models

机译：使用质量模型的工程质量要求
- 作者：Lochmann Klaus
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
29.Incremental Updates for Textual Modelling of Large Scale Models

机译：大型模型的文本建模的增量更新
- 作者：Goldschmidt Thomas;Becker Steffen;Uhl Axel
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- incremental updates;
- model driven engineering;
- textual modelling;
- textual syntax;
- view based modelling;
30.Keynote Abstract - On the Use of Quantitative Models for Open-World Software

机译：主题演讲摘要-定量模型在开放世界软件中的使用
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
31.Author Index

机译：作者索引
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
32.Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation

机译：迈向肉芽肿形成的自我修复群机器人系统
- 作者：Ismail Amelia Ritahani;Timmis Jon
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- granuloma formation;
- swarm robotics;
33.Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering

机译：迈向基于生物启发的自适应信息过滤解决方案设计
- 作者：Azmi Nurulhuda Firdaus Mohd;Timmis Jon;Polack Fiona
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Adaptive Information Filtering;
- Artificial Immune System;
- CoSMoS Special Session;
- Complex System;
34.Testing .NET Code with YETI

机译：使用YETI测试.NET代码
- 作者：Oriol Manuel;Tassis Sotirios
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Automatic test software;
- Software engineering;
35.Enriching Use Cases with CTTs

机译：通过CTT丰富用例
- 作者：Mizouni Rabeb;Sinnig Daniel;Khendek Ferhat
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
36.McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java

机译：McC ++ / Java：在C ++ / Java中启用基于多核的监视和容错
- 作者：Yang Lu;Yu Liqian;Tang Jianwen;Wang Linzhang;Zhao Jianhua;Li Xuandong
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
37.A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring

机译：用于复杂车辆故障诊断和健康监控的多智能体系统
- 作者：Murphey Yi Lu;Chen Zhihang
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- component;
- multi-agent systems;
- signal analysis;
- vehicle fault diagnostics;
38.Engineering Optimization Models at Runtime for Dynamically Adaptive Systems

机译：动态自适应系统运行时的工程优化模型
- 作者：Javed Fahad;Arshad Naveed;Wallin Fredrik;Vassileva Iana;Dahlquist Erik
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- autonomic systems;
- self-aware;
- self-optimization;
- smart grid;
39.Engineering Quality Requirements Using Quality Models

机译：使用质量模型的工程质量要求
- 作者：Lochmann Klaus
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
40.Incremental Updates for Textual Modelling of Large Scale Models

机译：大型模型的文本建模的增量更新
- 作者：Goldschmidt Thomas;Becker Steffen;Uhl Axel
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- incremental updates;
- model driven engineering;
- textual modelling;
- textual syntax;
- view based modelling;
41.An Experience Report in Requirements Elicitation for Accessible E-Learning Systems

机译：可访问的电子学习系统的需求启发经验报告
- 作者：Power Chritopher;Petrie Helen
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
42.An Experience Report in Requirements Elicitation for Accessible E-Learning Systems

机译：可访问的电子学习系统的需求启发经验报告
- 作者：Power Chritopher;Petrie Helen
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
43.On Immunological Memory as a Function of a Recursive Proliferation Process

机译：免疫记忆与递归扩散过程的关系
- 作者：Stibor Thomas;Salazar-Banuelos Anastasio
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Immune System Modeling;
- Simulation;
- Stochastic Process;
44.Development of Autonomic Management Solutions for the Military Application Domain

机译：军事应用领域自主管理解决方案的开发
- 作者：Werkman Ewoud;Schoonhoven Bas van;Jonge Marc de;Matthijssen Edwin
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- GPAC;
- action policy;
- autonomic computing;
- self-management;
- self-optimization;
- utility policy;
45.On Immunological Memory as a Function of a Recursive Proliferation Process

机译：免疫记忆与递归扩散过程的关系
- 作者：Stibor Thomas;Salazar-Banuelos Anastasio
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Immune System Modeling;
- Simulation;
- Stochastic Process;
46.Development of Autonomic Management Solutions for the Military Application Domain

机译：军事应用领域自主管理解决方案的开发
- 作者：Werkman Ewoud;Schoonhoven Bas van;Jonge Marc de;Matthijssen Edwin
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- GPAC;
- action policy;
- autonomic computing;
- self-management;
- self-optimization;
- utility policy;
47.Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis

机译：使用适应性CUTA卡进行需求启发：业务流程分析的初步经验
- 作者：Erfurth Ivonne;Kirchner Kathrin
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Case study;
- Human factors;
- Software requirements and specifications;
- User participation;
48.Modelling and Analysis of Socio-Technical System of Systems

机译：系统社会技术系统的建模与分析
- 作者：Lock Russell;Sommerville Ian
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Hazard Analysis;
- Modelling;
- SoS;
- Socio-technical;
49.Model Checking Round-Based Distributed Algorithms

机译：基于模型检查的基于回合的分布式算法
- 作者：An Xin;Pang Jun
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Model checking;
- consensus;
- distributed algorithms;
- leader election;
- verification;
50.Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies

机译：使用语义Web技术建模和实现基于本体的发布/订阅
- 作者：Kjaer Kristian Ellebaek;Hansen Klaus Marius
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Semantic Web;
- middleware;
- ontologies;
- publish/subscribe;
51.Modelling and Analysis of Socio-Technical System of Systems

机译：系统社会技术系统的建模与分析
- 作者：Lock Russell;Sommerville Ian
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Hazard Analysis;
- Modelling;
- SoS;
- Socio-technical;
52.Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis

机译：使用适应性CUTA卡进行需求启发：业务流程分析的初步经验
- 作者：Erfurth Ivonne;Kirchner Kathrin
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Case study;
- Human factors;
- Software requirements and specifications;
- User participation;
53.Model Checking Round-Based Distributed Algorithms

机译：基于模型检查的基于回合的分布式算法
- 作者：An Xin;Pang Jun
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Model checking;
- consensus;
- distributed algorithms;
- leader election;
- verification;
54.Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies

机译：使用语义Web技术建模和实现基于本体的发布/订阅
- 作者：Kjaer Kristian Ellebaek;Hansen Klaus Marius
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Semantic Web;
- middleware;
- ontologies;
- publish/subscribe;
55.Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement

机译：使用可表达的可追溯性关系来确保一致的流程模型细化
- 作者：Schwarz Hannes;Ebert Jurgen;Lemcke Jens;Rahmani Tirdad;Zivkovic Srdjan
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- business process refinement;
- model consistency;
- traceability;
56.An Approach to Verifying Security and Timing Properties in UML Models

机译：一种验证UML模型中的安全性和定时属性的方法
- 作者：Thapa Vidhi;Song Eunjee;Kim Hanil
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Model-Driven Engineering;
- Profile;
- Real-Time;
- Security;
- UML;
57.Maintaining Stable Node Populations in Long-Lifetime Sensornets

机译：在长寿命Sensornet中维护稳定的节点数量
- 作者：Tate Jonathan;Bate Iain
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- energy;
- population management;
- probabilistic methods;
- sensornets;
- state management;
58.Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

机译：使用超时顺序抽象对DHCP故障转移协议进行自动形式验证
- 作者：Umeno Shinya;Lynch Nancy
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
59.Implementing and Evaluating a Model Checker for Transactional Memory Systems

机译：实施和评估事务存储系统的模型检查器
- 作者：Baek Woongki;Bronson Nathan;Kozyrakis Christos;Olukotun Kunle
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Model Checking;
- Transactional Memory;
60.A Complex Systems Modelling Approach for Decentralised Simulation of Electrical Microgrids

机译：电力微电网分散仿真的复杂系统建模方法
- 作者：Kremers Enrique;Viejo Pablo;Barambones Oscar;Durana Jose Gonzalez de
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- agent-based models;
- complex computer systems;
- electrical grid;
- microgrid;
- systems of systems;
61.Reflections on the Simulation of Complex Systems for Science

机译：关于复杂科学系统仿真的思考
- 作者：Polack Fiona A. C.;Andrews Paul S.;Ghetiu Teodor;Read Mark;Stepney Susan;Timmis Jon;Sampson Adam T.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Complex system modelling;
- scientific simulation;
- simulation validation;
62.A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems

机译：基于异构模型的设计过程中需求可追溯性的模型：在汽车嵌入式系统中的应用
- 作者：Dubois Hubert;Peraldi-Frati Marie-Agnes;Lakhal Fadoi
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
63.A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development

机译：故事测试驱动开发的工具视觉化过程中利益相关者的网络分析
- 作者：Park Shelly;Maurer Frank
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Network analysis;
- agile software engineering;
- story test driven development;
64.Configuration Procedure Synthesis for Complex Systems Using Model Finder

机译：使用模型查找器的复杂系统配置过程综合
- 作者：Kikuchi Shinji;Tsuchiya Satoshi
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Alloy Analyzer;
- model finder;
- planning;
- procedure synthesys;
- system configuration;
65.Patterns for Modelling Time and Consistency in Business Information Systems

机译：商业信息系统中的时间和一致性建模模式
- 作者：Bryans J. W.;Fitzgerald J. S.;Romanovsky A.;Roth A.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Error Recovery;
- Event-B;
- Formal Verification;
- Patterns;
- Real-time;
66.Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components

机译：使用组合性正式建模和分析由大量组件构成的系统
- 作者：Bindelli Silvia;Nitto Elisabetta Di;Furia Carlo A.;Rossi Matteo
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- autonomic distributed systems;
- compositionality;
- formal models and proofs;
67.Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling

机译：组件订阅网络拓扑对大规模数据中心性能扩展的影响
- 作者：Sriram Ilango;Cliff Dave
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- cloud-scale data centre;
- normal failure;
- scale free networks;
- simulation;
- small-world networks;
68.Service-Based Development of Context-Aware Automotive Telematics Systems

机译：基于服务的情境感知汽车远程信息处理系统开发
- 作者：Tran Minh H.;Colman Alan;Han Jun
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- SOA;
- adaptation;
- automotive software;
- context modeling;
- context-awareness;
- service-oriented software engineering;
69.A Tile-Based Approach for Self-Assembling Service Compositions

机译：一种基于图块的自组装服务组合方法
- 作者：Cavallaro Luca;Nitto Elisabetta Di;Furia Carlo A.;Pradella Matteo
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Self-adaptive Systems;
- Service Oriented Architectures;
- Service Oriented Systems Design;
70.Trust-Based Adaptation in Complex Service-Oriented Systems

机译：面向服务的复杂系统中基于信任的适应
- 作者：Skopik Florian;Schall Daniel;Dustdar Schahram
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- complex mixed systems;
- trust emergence;
- trust-based adaptation;
- trust-based information views;
71.Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems

机译：工程动态适应，可在软件密集型嵌入式系统中实现经济高效的弹性
- 作者：Adler Rasmus;Schneider Daniel;Trapp Mario
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Dynamic adaptation;
- analyses;
- automotive;
- modeling;
- resilience;
- safety;
72.A Complex Systems Modelling Approach for Decentralised Simulation of Electrical Microgrids

机译：电力微电网分散仿真的复杂系统建模方法
- 作者：Kremers Enrique;Viejo Pablo;Barambones Oscar;Durana Jose Gonzalez de
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- agent-based models;
- complex computer systems;
- electrical grid;
- microgrid;
- systems of systems;
73.Reflections on the Simulation of Complex Systems for Science

机译：关于复杂科学系统仿真的思考
- 作者：Polack Fiona A. C.;Andrews Paul S.;Ghetiu Teodor;Read Mark;Stepney Susan;Timmis Jon;Sampson Adam T.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Complex system modelling;
- scientific simulation;
- simulation validation;
74.A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems

机译：基于异构模型的设计过程中需求可追溯性的模型：在汽车嵌入式系统中的应用
- 作者：Dubois Hubert;Peraldi-Frati Marie-Agnes;Lakhal Fadoi
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
75.A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development

机译：故事测试驱动开发的工具视觉化过程中利益相关者的网络分析
- 作者：Park Shelly;Maurer Frank
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Network analysis;
- agile software engineering;
- story test driven development;
76.Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement

机译：使用可表达的可追溯性关系来确保一致的流程模型细化
- 作者：Schwarz Hannes;Ebert Jurgen;Lemcke Jens;Rahmani Tirdad;Zivkovic Srdjan
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- business process refinement;
- model consistency;
- traceability;
77.An Approach to Verifying Security and Timing Properties in UML Models

机译：一种验证UML模型中的安全性和定时属性的方法
- 作者：Thapa Vidhi;Song Eunjee;Kim Hanil
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Model-Driven Engineering;
- Profile;
- Real-Time;
- Security;
- UML;
78.Maintaining Stable Node Populations in Long-Lifetime Sensornets

机译：在长寿命Sensornet中维护稳定的节点数量
- 作者：Tate Jonathan;Bate Iain
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- energy;
- population management;
- probabilistic methods;
- sensornets;
- state management;
79.Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction

机译：使用超时顺序抽象对DHCP故障转移协议进行自动形式验证
- 作者：Umeno Shinya;Lynch Nancy
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
80.Implementing and Evaluating a Model Checker for Transactional Memory Systems

机译：实施和评估事务存储系统的模型检查器
- 作者：Baek Woongki;Bronson Nathan;Kozyrakis Christos;Olukotun Kunle
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Model Checking;
- Transactional Memory;
81.Configuration Procedure Synthesis for Complex Systems Using Model Finder

机译：使用模型查找器的复杂系统配置过程综合
- 作者：Kikuchi Shinji;Tsuchiya Satoshi
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Alloy Analyzer;
- model finder;
- planning;
- procedure synthesys;
- system configuration;
82.Patterns for Modelling Time and Consistency in Business Information Systems

机译：商业信息系统中的时间和一致性建模模式
- 作者：Bryans J. W.;Fitzgerald J. S.;Romanovsky A.;Roth A.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Error Recovery;
- Event-B;
- Formal Verification;
- Patterns;
- Real-time;
83.Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components

机译：使用组合性正式建模和分析由大量组件构成的系统
- 作者：Bindelli Silvia;Nitto Elisabetta Di;Furia Carlo A.;Rossi Matteo
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- autonomic distributed systems;
- compositionality;
- formal models and proofs;
84.Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling

机译：组件订阅网络拓扑对大规模数据中心性能扩展的影响
- 作者：Sriram Ilango;Cliff Dave
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- cloud-scale data centre;
- normal failure;
- scale free networks;
- simulation;
- small-world networks;
85.Service-Based Development of Context-Aware Automotive Telematics Systems

机译：基于服务的情境感知汽车远程信息处理系统开发
- 作者：Tran Minh H.;Colman Alan;Han Jun
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- SOA;
- adaptation;
- automotive software;
- context modeling;
- context-awareness;
- service-oriented software engineering;
86.A Tile-Based Approach for Self-Assembling Service Compositions

机译：一种基于图块的自组装服务组合方法
- 作者：Cavallaro Luca;Nitto Elisabetta Di;Furia Carlo A.;Pradella Matteo
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Self-adaptive Systems;
- Service Oriented Architectures;
- Service Oriented Systems Design;
87.Trust-Based Adaptation in Complex Service-Oriented Systems

机译：面向服务的复杂系统中基于信任的适应
- 作者：Skopik Florian;Schall Daniel;Dustdar Schahram
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- complex mixed systems;
- trust emergence;
- trust-based adaptation;
- trust-based information views;
88.Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems

机译：工程动态适应，可在软件密集型嵌入式系统中实现经济高效的弹性
- 作者：Adler Rasmus;Schneider Daniel;Trapp Mario
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Dynamic adaptation;
- analyses;
- automotive;
- modeling;
- resilience;
- safety;
89.Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks

机译：任务之间具有执行依赖关系的系统的基于统计的响应时间分析
- 作者：Lu Yue;Nolte Thomas;Kraft Johan;Norstrom Christer
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Extreme Value Theory;
- Statistical-based RTA;
- legacy system;
- task execution dependencies;
90.Performance Antipatterns as Logical Predicates

机译：性能反模式作为逻辑谓词
- 作者：Cortellessa Vittorio;Marco Antinisca Di;Trubiani Catia
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Antipatterns;
- Performance Analysis;
- Software Performance Engineering;
91.An Analysis of Formal Languages for Dynamic Adaptation

机译：动态适应的形式语言分析
- 作者：Fox Jorge;Clarke Siobhan
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Dynamic Adaptation;
- Formal Methods;
- Service-oriented software development;
- Software Engineering;
92.Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks

机译：任务之间具有执行依赖关系的系统的基于统计的响应时间分析
- 作者：Lu Yue;Nolte Thomas;Kraft Johan;Norstrom Christer
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Extreme Value Theory;
- Statistical-based RTA;
- legacy system;
- task execution dependencies;
93.Performance Antipatterns as Logical Predicates

机译：性能反模式作为逻辑谓词
- 作者：Cortellessa Vittorio;Marco Antinisca Di;Trubiani Catia
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Antipatterns;
- Performance Analysis;
- Software Performance Engineering;
94.An Analysis of Formal Languages for Dynamic Adaptation

机译：动态适应的形式语言分析
- 作者：Fox Jorge;Clarke Siobhan
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- Dynamic Adaptation;
- Formal Methods;
- Service-oriented software development;
- Software Engineering;
95.A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems

机译：支持普适系统中虚拟组织的基于模型的体系结构
- 作者：Thonhauser Michael;Kreiner Christian;Leitner Andreas
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- model-based development;
- pervasive systems;
- virtual organization;
96.A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems

机译：支持普适系统中虚拟组织的基于模型的体系结构
- 作者：Thonhauser Michael;Kreiner Christian;Leitner Andreas
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- model-based development;
- pervasive systems;
- virtual organization;
97.Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture

机译：代表海洋一般环流模型中的浮游生物功能类型：竞争，权衡和自组织架构
- 作者：Anderson Thomas R.;Follows Michael J.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- complex adaptive systems;
- complexity;
- simulation modeling;
- tradeoffs;
98.A Transactional Architecture for Simulation

机译：用于仿真的事务性架构
- 作者：Hoverd Tim;Sampson Adam T.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- concurrency control;
- database concurrency operations;
- science;
- simulation;
99.Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture

机译：代表海洋一般环流模型中的浮游生物功能类型：竞争，权衡和自组织架构
- 作者：Anderson Thomas R.;Follows Michael J.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- complex adaptive systems;
- complexity;
- simulation modeling;
- tradeoffs;
100.A Transactional Architecture for Simulation

机译：用于仿真的事务性架构
- 作者：Hoverd Tim;Sampson Adam T.
- 会议名称：《2010 15th IEEE International Conference on Engineering of Complex Computer Systems》 | 2010年
- concurrency control;
- database concurrency operations;
- science;
- simulation;