In this paper, we consider the mobility management in large, hierarchically organized multihop wireless networks. The examples of such networks range from battlefield networks, emergency disaster relief and law enforcement etc. We present a novel network addressing architecture to accommodate mobility using a “Home Agent” concept akin to mobile IP. The performance of the mobility management sch...

Multicast and mobility are two important research topics in the Internet nowadays. Although much research has been done in these two areas, mobility support for IP multicast still remains a problem. Most Internet protocols work well only when the hosts are static. Research on mobility support has so far been focused on the unicast case. Mobility support for IP unicast (Mobile IP) mainly aims at...

Publish/subscribe (pub/sub) is considered a valuable middleware architecture that proliferates loose coupling and leverages reconfigurability and evolution. Up to now, existing pub/sub middleware was optimized for static systems where users as well as the underlying system structure were rather fixed. We study the question whether existing pub/sub middleware can be extended to support mobile an...

Any scientific discovery must include an epistemic process to gain knowledge of or to ascertain the existence of some empirical and/or logical entailments previously unknown or unrecognized. The epistemic operation of deduction in an epistemic process of an agent is to fred new and valid entailments logically from some premises which are known facts and/or assumed hypothesis. Automated theorem ...

The objective of our paper is to investigate the possibilities of a logical representation for argumentation executed in multi-agent systems. We concentrate particularly on belief’s uncertainty and revision that an agent deals with throughout the process of discussion. Moreover, we propose a formalism based on a multi-valued logic that allows for specification of properties of multi-agent syste...

In this paper we present a parallel runtime substrate, the Mobile Object Layer (MOL), that supports data or object mobility and automatic message forwarding in order to ease the implementation of adaptive and irregular applications on distributed memory machines. The MOL implements a global logical name space for message passing and distributed directories to assist in the translation of logica...

Multi-agent heterogeneous intrusion detection system (MAHIDS) is a prototype proposed to detect untrusted and unusual network behaviour. The main contribution of the system is the integration of several anomaly detection techniques and machinery of multi-agent temporal logic with hybrid argumentation. Every detection technique is represented by featuring a specific detection autonomous agent. I...

Mobile agent systems have attracted a great deal of attention in recent years. Various agent systems have been proposed and implemented so far. But their systems are usually equipped with their own features that are hard to simulate by other systems even with respect to agent movementmechanisms. Therefore, a generalized framework that can describe various mechanisms in a formal manner is strong...

Implementing mobility in MultiAgent systems is one of the major challenges these days. True mobility consists of movement of code, data and execution state. There are various techniques through which true mobility can be achieved in MultiAgent systems. Certain mechanisms are present that are used to capture the state of a thread and re-establish it at the destination. All these mechanisms have ...

Cyber physical systems are examples of a new emerging modelling paradigm that can be defined as multi-dimensional system coengineering (MScE). In MScE, different aspects of complex systems are considered altogether, producing emergent properties, or loosing some useful ones. This holistic approach requires interdisciplinary methods that result from formal mathematical and AI co-engineering. In ...