Mobile Agent Life Cycle Demystified using Formal Method
Journal Title: Transactions on Machine Learning and Artificial Intelligence - Year 2015, Vol 3, Issue 2
Abstract
Underlying technique for mobile agent development is often mystified. Existing research sometimes ignore unveiling the details of the mobility and autonomy of the agent system. This paper exposes using formal methods the technique of a mobile agent system using a life cycle. The system proposed will serve as takeoff springboard for mobile agent developers.
Authors and Affiliations
IMIANVAN Anthony Agboizebeta, AKINYOKUN Oluwole Charles
Keywords
Related Articles
- EP ID EP278883
- DOI 10.14738/tmlai.32.1025
- Views 61
- Downloads 0
Brain Tumor Segmentation using Multiobjective Fuzzy Clustering
The segmentation of magnetic resonance images plays a crucial role in medical image analysis because it extracts the required area from the image. Despite intensive research, it still remains a challenging problem and th...
Migration of the Temporal RDB into Temporal ORDB including Bitemporal Data : Phases
This paper proposes an approach for migrating existing relational database (TRDB) according to SQL: 2011 standard into temporal object relational database (TORDB) including Bitemporal data. This is done with methods that...
Understanding the Cognitive Processes involved in Technological Entrepreneurial Opportunity Recognition
In the state-of-the art An Agenda for Future Research, Corbett and McMullen (2011) summarize the current state of the research in the following words - “Despite its many achievements, learning at the connection of free e...
Conception and Evaluation of Internet of Things Connecting to RFID Framework
The notion of the Internet of the Objects designates a network of objects connected to each other and communicating automatically. In this paper we develop the notions of semantics are becoming increasingly important bec...
Analysis of User's Behavior on Borrowed Book Record in National Central Library University of Laos
The purpose of this paper is to analyze the student’s behavior of borrowing book in order to find out the frequent group of book items using association rule technique based on the data mining technologies. Data mining i...