Sciweavers

576 search results - page 34 / 116
» Synchronization of Some DFA
Sort
View
WORDS
2003
IEEE
14 years 1 months ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann
GROUP
2003
ACM
14 years 1 months ago
Text chat in action
Synchronous text communication is becoming recognized as a valuable workplace communication medium yet some studies of group text chat indicate that its properties can lead to int...
Jacki O'Neill, David Martin
WETICE
2000
IEEE
14 years 1 months ago
Integrating XML and Object-Based Programming for Distributed Collaboration
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
Vassil Roussev, Prasun Dewan, Naveen Koorakula, Sr...
IPPS
1999
IEEE
14 years 28 days ago
The Paderborn University BSP (PUB) Library - Design, Implementation and Performance
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between an...
Olaf Bonorden, Ben H. H. Juurlink, Ingo von Otte, ...
CONCUR
2005
Springer
13 years 10 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael