The successful use of intelligent agents in healthcare has attracted researchers to apply this
emerging software engineering paradigm in more advanced and complex applications …

Several formal trust frameworks have been introduced in the area of Multi-Agent Systems
(MASs). However, the problem of model checking trust logics is still a challenging research …

A key problem when coordinating the behaviour of spatially situated networks, like those
typically found in the Internet of Things (IoT), is adaptation to changes impacting network …

Recent works in the context of large-scale adaptive systems, such as those based on
opportunistic IoT-based applications, promote aggregate programming, a development …

Exception handling has been successfully proposed in software engineering practice as a
simple but effective technology to address abnormal situations possibly occurring at runtime …

In order to improve the collaborative capability and efficiency, based on Multi-agent system
(MAS) and Contract Net Protocol (CNP), a novel task optimal allocation approach Improved …

Human is a key cost factor in today's service-and business-oriented processes. To reduce
labor, we propose an approach to convert people driven processes to a chatbot service …

As the complexity of embedded system grows consistently with technology improvement,
hardware-software codesign has been actively investigated as a new design methodology …

We introduce the notion of'aggregate plan', as a specification of the collective behaviour of a
team of agents embedded in space. Aggregate plans are managed by self-organisation …

BSPL, the Blindingly Simple Protocol Language, is a recent approach for declaratively
expressing service communication protocols that involves only two main constructs: a way to …