In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
We present a software system for evaluating ‘dynamic’ protocol specifications for open multi-agent systems, that is, specifications that are developed at design-time but may...
We propose a market mechanism that can be implemented on clustering aggregation problem among selfish systems, which tend to lie about their correct clustering during aggregation ...
The aim of the research is to investigate techniques that support efficient service scheduling algorithms in a service-oriented fault-tolerant real-time distributed system. Techni...
We develop a consistent mutable replication extension for NFSv4 tuned to meet the rigorous demands of largescale data sharing in global collaborations. The system uses a hierarchi...