Keyword : mobile agent system

Agent Based Fault Tolerance for the Mobile Environment
Taesoon PARK 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2010/04/01
Vol. E93-A  No. 4 ; pp. 846-849
Type of Manuscript:  LETTER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
check-pointing, fault tolerant system, message logging, mobile agent system, mobile computing system, 
 Summary | Full Text:PDF
Using Mobile TLA as a Logic for Dynamic I/O Automata
Tatjana KAPUS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/08/01
Vol. E92-D  No. 8 ; pp. 1515-1522
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
dynamic input/output automata, mobile agent system, formal specification, spatio-temporal logic, 
 Summary | Full Text:PDF
Fault-Tolerant Execution of Collaborating Mobile Agents
Taesoon PARK 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/11/01
Vol. E86-A  No. 11 ; pp. 2897-2900
Type of Manuscript:  LETTER
Category: Reliability, Maintainability and Safety Analysis
Keyword: 
checkpointing, fault-tolerant system, multi-agent system, mobile agent system, replication, 
 Summary | Full Text:PDF