576 search results - page 44 / 116 » Synchronization of Some DFA |
115
click to vote
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
155
click to vote
PET
2005
Springer
15 years 8 months ago
2005
Springer
Parallel mixing [7] is a technique for optimizing the latency of a synchronous re-encryption mix network. We analyze the anonymity of this technique when an adversary can learn the...
139
Voted
CSREAEEE
2006
15 years 4 months ago
2006
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...
149
click to vote
MST
2011
14 years 10 months ago
2011
In this paper we generalize the Continuous Adversarial Queuing Theory (CAQT) model [5] by considering the possibility that the router clocks in the network are not synchronized. W...
121
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
A tension exists between designers' comfort with physical artifacts and the need for effective remote collaboration: physical objects live in one place. Previous research and...