3965 search results - page 251 / 793 » Effectivity of Regular Spaces |
195
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we address the problem of how TCP sessions ramp up their transmission windows in a controlled way. We introduce a conservative slow start scheme that reduces to t...
179
click to vote
ISMVL
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes new metrics for the data structure referred to as quantum multiple-valued decision diagrams (QMDD) which are used to represent the matrices describing reversi...
169
click to vote
ICDE
2007
IEEE
16 years 29 days ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
170
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
132
click to vote
DSN
2006
IEEE
16 years 21 days ago
2006
IEEE
This practical experience report presents the results of an investigation into the threat of attacks associated with the chat medium IRC. A combination of simulated users (i.e., b...