7075 search results - page 1267 / 1415 » Models and heterogeneous reasoning |
113
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— Recent investigations into the pricing of multiclass loss networks have shown that static prices are optimal in the asymptotic regime of many small sources. These results sugge...
104
click to vote
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
— Considerable attention has been focused on the properties of graphs derived from Internet measurements. Router-level topologies collected via traceroute-like methods have led s...
111
Voted
ISCC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper studies the fairness with which competing flows share the channel in ad hoc networks using collision avoidance protocols. It is shown that the required multihop coordi...
112
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
110
Voted
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...