— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
User modelling is widely used in HCI but there are very few systematic HCI modelling tools for people with disabilities. We are developing user models to help with the design and ...