Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662448700, 9783662448717

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Designing Adaptive Systems Using Teleo-Reactive Agents

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-44871-7_2 ◽

2014 ◽

pp. 34-61

Author(s):

Graeme Smith ◽

J. W. Sanders ◽

Kirsten Winter

Keyword(s):

Adaptive Systems ◽

Reactive Agents

Download Full-text

Towards Formal Modelling and Verification of Pervasive Computing Systems

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-44871-7_3 ◽

2014 ◽

pp. 62-91

Author(s):

Yan Liu ◽

Xian Zhang ◽

Yang Liu ◽

Jin Song Dong ◽

Jun Sun ◽

...

Keyword(s):

Pervasive Computing ◽

Computing Systems ◽

Formal Modelling

Download Full-text

Revisiting Agent-Based Models of Algorithmic Trading Strategies

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-44871-7_4 ◽

2014 ◽

pp. 92-121

Author(s):

Natalia Ponomareva ◽

Anisoara Calinescu

Keyword(s):

Trading Strategies ◽

Algorithmic Trading ◽

Agent Based Models ◽

Agent Based

Download Full-text

Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-44871-7_5 ◽

2014 ◽

pp. 122-145 ◽

Cited By ~ 2

Author(s):

Kris Welsh ◽

Nelly Bencomo ◽

Pete Sawyer ◽

Jon Whittle

Keyword(s):

Adaptive Systems

Download Full-text

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-44871-7_1 ◽

2014 ◽

pp. 1-33

Author(s):

David Harel ◽

Guy Katz ◽

Assaf Marron ◽

Gera Weiss

Keyword(s):

Reactive Programs

Download Full-text

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-45896-9_1 ◽

2014 ◽

pp. 1-33

Author(s):

David Harel ◽

Guy Katz ◽

Assaf Marron ◽

Gera Weiss

Keyword(s):

Reactive Programs

Download Full-text

An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-44871-7_7 ◽

2014 ◽

pp. 170-189

Author(s):

Hanh H. Hoang ◽

Trung V. Nguyen ◽

Vu Minh Hoang

Keyword(s):

Business Process ◽

Collaborative Business Process

Download Full-text

An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-45896-9_7 ◽

2014 ◽

pp. 170-189

Author(s):

Hanh H. Hoang ◽

Trung V. Nguyen ◽

Vu Minh Hoang

Keyword(s):

Business Process ◽

Collaborative Business Process

Download Full-text

A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-45896-9_6 ◽

2014 ◽

pp. 146-169 ◽

Cited By ~ 3

Author(s):

Ahmed-Chawki Chaouche ◽

Amal El Fallah Seghrouchni ◽

Jean-Michel Ilié ◽

Djamel Eddine Saïdouni

Keyword(s):

Higher Order ◽

Agent Model ◽

Ambient Systems

Download Full-text

Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI ◽

10.1007/978-3-662-45896-9_5 ◽

2014 ◽

pp. 122-145 ◽

Cited By ~ 2

Author(s):

Kris Welsh ◽

Nelly Bencomo ◽

Pete Sawyer ◽

Jon Whittle

Keyword(s):

Adaptive Systems

Download Full-text

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVILatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Designing Adaptive Systems Using Teleo-Reactive Agents

Towards Formal Modelling and Verification of Pervasive Computing Systems

Revisiting Agent-Based Models of Algorithmic Trading Strategies

Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs

Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs

An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation

An Ontological Consensus Augmented Framework for Collaborative Business Process Formulation

A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems

Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models

Lecture Notes in Computer Science - Transactions on Computational Collective Intelligence XVI
Latest Publications