While modeling trust in multi-agent systems provides a fundamental basis for promoting safe interactions and imitating agents reasoning mechanisms, exploiting model checking techniques to govern the trust relat
(Dennis et al., 2016) introduced and provided a solution for the scalability issue of blockchain based systems by proposing a constant fixed size blockchain called “rolling blockchain”. They showed that the deletion of data from the proposed model of this blockchain does not affect its ...
Towards a Formal Model for Cloud Computing Zakaria Benzadri, Faiza Belala, and Chafia Bouanaka LIRE Laboratory Department of Software and Information Systems Technology University of Constantine 2, Constantine, Algeria benzadri@gmail.com, belalafaiza@hotmail.com, c.bouanaka@umc.edu.dz Abstract. ...
- Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent and self-adaptive systems ...
c) Co-operative d) Trade pact Collusive Oligopoly The collusive oligopoly also known as cooperative oligopoly is a form of the market in which there are very few firms in the market and all decide to avoid competition through a formal agreement. Price...
failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. They are often due to component failures and unexpected interactions of subsystems under conditions that have not been anticipated during system design and testing. The failu...
In settings where agents can be exploited, trust and reputation are key issues. As a consequence, within the multi-agent systems community, considerable research has gone into the development of computationally viable models of these concepts. In this paper, we present anframework that allows ...
A formal model for situated semantic alignment. In E. H. Durfee and M. Yokoo, editors, Proceedings of the Sixth International Joint Confer- ence on Autonomous Agents and Multiagent Systems. May 14-18, 2007. Honolulu, Hawai'i, pages 1270-1277. International Foundation for Autonomous Agents ...
Complex Adaptive Systems Modeling Shaik Shakeel Ahamad & Al-Sakib Khan Pathan 5067 Accesses 1 Altmetric Explore all metrics Abstract Mobile contactless payment (MCP) is the future technology that is used for mobile payments, mobile wallet, transportation, and for mobile coupons. Existing solutions ...
Decision support systemsThis paper presents a cognitive agent model of fear of crime. The proposed model takes personality, environment, and perception of several events as input and calculates internal factors related to cognitive fear of crime, such as the belief about safety, community trust and...