7557 search results - page 1255 / 1512 » Modeling Timed Concurrent Systems |
201
Voted
SAINT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we model DCCP congestion control mechanism and RED as independent discrete-time systems using fluid-flow approximation. By interconnecting DCCP connections and RE...
217
Voted
PLDI
2005
ACM
16 years 29 days ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
239
Voted
AMKM
2003
Springer
16 years 19 days ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
212
click to vote
CSREASAM
2003
15 years 8 months ago
2003
We introduce and analyze a randomized traitor tracing algorithm for broadcast security. This algorithm is very efficient compared to brute force methods (the mean time it takes is...
251
click to vote
IJCAI
2001
15 years 8 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...