Context-Aware Systems and Applications, and Nature of Computation and Communication
6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings
Page
%P
-
Chapter
KnowLang – A Formal Specification Model for Self-adaptive Systems
KnowLang is a framework for knowledge representation and reasoning (KR &R) that aims at efficient and comprehensive knowledge structuring and awareness based on logical and statistical reasoning. It tackles bo...
-
Chapter
The ASSL Approach to Formal Specification of Self-managing Systems
ASSL (Autonomic System Specification Language) is a framework dedicated to the development of self-managing systems whereby developers are helped with problem formation, system design, system analysis and eva...
-
Article
Context-Aware Systems and Applications (ICCASA 2016, 2017) and Nature of Computation and Communication (ICTCC 2016, 2017)
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Modeling Self-adaptation - A Possible Endeavour?
Self-adaptive systems have the capability to autonomously modify their behavior at runtime in response to changes in their internal structure or execution environment. Therefore, often self-adaptation emerges ...
-
Article
Editorial: Context-Aware Systems and Applications (ICCASA 2015)
-
Article
Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach
Along with the traditional requirements, requirements engineering for autonomous and self-adaptive systems needs to address requirements related to adaptation issues, in particular: (1) what adaptations are po...
-
Chapter and Conference Paper
Integration and Promotion of Autonomy with the ARE Framework
The integration and promotion of autonomy in software-intensive systems is an extremely challenging task. Among the many challenges the engineers must overcome are those related to the elicitation and expressi...
-
Chapter and Conference Paper
Safe Artificial Intelligence and Formal Methods
In one aspect of our life or another, today we all live with AI. For example, the mechanisms behind the search engines operating on the Internet do not just retrieve information, but also constantly learn how ...
-
Book and Conference Proceedings
Nature of Computation and Communication
International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
-
Chapter and Conference Paper
Autonomic Computing Software for Autonomous Space Vehicles
Current space missions increasingly demand more autonomy in control architectures for Unmanned Space Vehicles (USVs), so unmanned long-term missions can be afforded. Continuous assurance of effective adaptatio...
-
Chapter and Conference Paper
Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems
Urban environments are increasingly invaded by devices that acquire sensor information and pave the way for innovative forms of context awareness. Collecting knowledge from loosely-structured data streams and ...
-
Chapter and Conference Paper
Modeling Swarm Robotics with KnowLang
Swarm robotics has emerged as a paradigm whereby intelligent agents are considered to be autonomous entities that interact either cooperatively or non-cooperatively. The concept is biologically-inspired and of...
-
Chapter
Knowledge Representation for Adaptive and Self-aware Systems
This chapter presents the ASCENS approach to knowledge representation and reasoning for self-adaptive systems. The approach targets both the integration and promotion of autonomy and self-adaptation in softwar...
-
Chapter
Engineering Requirements for Autonomy Features
This chapter outlines an approach to Autonomy Requirements Engineering (ARE). ARE targets the integration and promotion of autonomy in software-intensive systems by providing a mechanism and methodology for el...
-
Chapter
Tools for Ensemble Design and Runtime
The ASCENS project deals with designing systems as ensembles of adaptive components. Among the outputs of the ASCENS project are multiple tools that address particular issues in designing the ensembles, rangin...
-
Chapter
The KnowLang Approach to Self-adaptation
Self-adaptive systems autonomously monitor their behavior and eventually modify that behavior according to changes in the operational environment or in the system itself. In this entry, we present an approach ...
-
Article
Context-Aware Systems and Applications
-
Article
Context-Aware Systems and Applications
-
Book
