Sciweavers

4604 search results - page 105 / 921
» Concurrency in Synchronous Systems
Sort
View
CONCUR
2003
Springer
15 years 3 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
FORMATS
2005
Springer
15 years 3 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
HT
1993
ACM
15 years 2 months ago
Concurrency Control in Collaborative Hypertext Systems
Traditional concurrency control techniques for database systems (transaction management based on locking protocols) have been successful in many multiuser settings, but these tech...
Uffe Kock Wiil, John J. Leggett
CHI
1993
ACM
15 years 2 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz
HPCN
1997
Springer
15 years 2 months ago
A Distributed Algorithm for Optimal Concurrent Communication and Load Balancing in Parallel Systems
We present a distributed algorithm for determining optimal concurrent communication ow in arbitrary computer networks. Our scheme is applicable to a wide range of network ow applic...
Uwe Dralle, Alexander Reinefeld