Despite the fact that epistemic connectives are sometimes interpreted in concrete structures defined by means ofruns and clock time functions, one of the things which strikes one when studying multiagent logics is how abstracttheir semantics are. Contrasting this fact is the fact that real agents like robots in everyday life and virtual charactersin video games have strong links wit...

Modelling and reasoning about multi-agent systems has been one of the main problems for designers of distributed systems. In this paper we present a logical framework for representing and reasoning about these systems. The framework uses the idea of contexts as presented by Giunchiglia and his colleagues and the ideas regarding multi-agent systems as presented by Morley, George , and Rao. The n...

In infrastructure-less mobile and ad-hoc networks the routes have to be refreshed oftenly due to the mobility of the nodes acting as routers. If a node is aware of the mobility of neighboring nodes, the highly mobile node can be avoided to be the part of routes and ultimately reduces the re-route discoveries. This paper introduces mobility aware agents in ad-hoc network nodes and modifies HELLO...

In mobile IP networks, a local mobility agent is extended to assist reliable multicast for mobile nodes. Each agent keeps in its buffer all packets that are likely to be requested by any of its mobile nodes. They can provide reliable service by performing a retransmission for the requested packet from its mobile nodes. When a mobile node moves to another subnet, transmission errors tend to happ...

This paper presents the IBM Power Architecturee extension for enhanced virtualization that is first implemented in the POWER6e processor. Virtual partition memory enables all of the memory of a virtual server running in a logical partition to be made virtual by the POWER Hypervisore firmware. The Processor Compatibility register allows backward compatibility by providing a mode in which a POWER...

SOME AGENT PROPERTIES. vanishing agents or nodes in the agent system. Given these requirements, agents are constantly facing a problem of deciding where to go and with whom to work with. These two decisions, pertaining to mobility and interaction, have been singled out as fundamental of even aeent svstem. We B. Aaents I . " . " present an algorithm targeted at these two decisions while it fulfi...

Typical transmission control protocol (TCP) based web agents in mobile wireless environment have several deficiencies, such as performance degradation, head-of-line blocking, and unsupported mobility. The Stream Control Transmission Protocol (SCTP) is a new transport protocol, which provides multi-streaming and multi-homing features. SCTP extensions for dynamic address reconfiguration will supp...

Current agent mobility models are based on random movement. This means that the probability that a particular agent will be at a particular place is the same over the whole network. In contrast, we are trying to simulate an agent movement that reflects more realistically the distribution of vehicles in an urban street network. This can be achieved by moving away from the problem of an equal pro...

Abstract The suitable concentration of mobility-controlled oil displacement agent was selected through laboratory experiments, and the development mechanism in water flooding process studied. results show that when mobility control is 0.15 %, viscosity reduction effect best. Fluid injection pressure can be reduced by controlled agent. improve efficiency, recovery rate Tuha heavy increased from ...

Transport systems are more and more complex and have to evolve to integrate more connected entities (mobile devices, localized vehicles, etc.). It becomes critical to develop micro-simulation tools for mobility policies makers taking into account this fact. In this paper, we propose a multimodal travel simulator that allows for the understanding and the prediction of future status of the networ...