3552 search results - page 584 / 711 » Proof theory in the abstract |
165
click to vote
TELETRAFFIC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We focus in this paper on passive traffic measurement techniques that collect traces of TCP packets and analyze them to derive, for example, round-trip times or aggregate...
175
click to vote
INFOCOM
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract—This paper solves the joint power control and SIR assignment problem through distributed algorithms in the uplink of multi-cellular wireless networks. The 1993 Foschini-...
160
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
158
click to vote
INFOCOM
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
184
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...