• We propose a new tighter compact MILP for Security Game that allow coordinate defender strategies. present complexity results this game. provide branch and cut algorithm to solve efficiently formulations. an exact approximate method sample the strategy space In work we formulate Stackelberg coordinates resources in border patrol problem. security domain, from different precincts have be paire...

We develop an action systems based approach that supports the separation of design of the functional or computation aspects of a system under construction from the coordination and synchronisation issues. The computation aspects are modelled as nondeterministic actions that work in parallel with the coordination actions, which impose some control on this nondeterministic part. We de ne a specia...

A computing paradigm is presented for coordinating the execution of durative actions, i.e. actions which, although executed atomically on a private local state, have a duration in the sense that the system state in which they finish executing is not necessarily the same in which they started. Just as in traditional coordination languages, the coordination model that is responsible for controlli...

Open Distributed Systems are the dominating intellectual issue of the end of this century. Figuring out how to build those systems will become a central issue in distributed system research in the next future. Although CORBA seems to provide all the necessary support to construct those systems. It provides a very limited support to the evolution of requirements in those systems. The main proble...