In rational verification, the aim is to verify which temporal logic properties will obtain in a multi-agent system, under assumption that agents ("players") system choose strategies for acting form game theoretic equilibrium. Preferences are typically defined by assuming act pursuit of individual goals, specified as formulae. To date, verification has been studied using non-cooperative solution...

The concept of cooperative purchasing is as old as ancient Egypt and Babylon. Even in those days groups of independent organizations cooperated in one or more steps of the procurement process by pooling their purchasing volumes, information and/or resources to improve their performances. The main objective of this paper is to identify and classify the current forms of cooperative purchasing acc...

Location dependent services are expected to become a very important revenue stream in the future. To enhance performance of location dependent queries there have been several research efforts in the past. Most of these have been focused on client side caching with extremely little work on cooperative caching. Cooperative caching might particularly be a very good solution to improve performance ...

This paper studies the multi-factory production (MFP) network scheduling problem where a number of different individual factories join together to form a MFP network, in which these factories can operate more economically than operating individually. However, in such network which known as virtual production network with self-interested factories with transportation times, each individual facto...