Sciweavers

2403 search results - page 193 / 481
» Similarity of Event Sequences
Sort
View
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 11 months ago
On Lyapunov sampling for event-driven controllers
— 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...
Manel Velasco, Pau Martí, Enrico Bini
KBSE
2000
IEEE
15 years 11 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
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...
Prasanta K. Bose, Mark G. Matthews
PODC
2000
ACM
15 years 11 months ago
Debugging distributed programs using controlled re-execution
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 ...
Neeraj Mittal, Vijay K. Garg
MFCS
1994
Springer
15 years 10 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
BCSHCI
2009
15 years 7 months ago
Modelling perception using image processing algorithms
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 ...
Pradipta Biswas, Peter Robinson