Situated Multi Agent System models are characterized by the representation and exploitation of spatial information related to agents, the environment they inhabit and their positi...
Fairness is an important management issue for peer-to-peer file sharing systems. In this paper, we study the credit system of the P2P file sharing network eMule (http://www.emule-p...
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...