The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
This paper presents a robust stop-and-go control law, especially well adapted to car following scenarios in urban environments. Since many vehicle/road interaction factors (road sl...
Learning management systems capture student's interactions with the course contents in the form of event logs, including the order in which resources are accessed. We build on...
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...