: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
senting them at different levels of abstraction. This can make the analysis complex and unwieldy, requiring teams of analysts to manage it. A new approach to managing the complexit...
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
Open networks allow users to communicate without any prior arrangements such as contractual agreement or organisation membership. However, the very nature of open networks makes a...
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...