16430 search results - page 2880 / 3286 » On Computable Tree Functions |
179
click to vote
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
-We solve the problem of time-optimal network queue control: what are the input data rates that make network queue sizes converge to their ideal size in the least possible time aft...
170
click to vote
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
Imaging has gained importance due to the improvements of performances in computer speed, media storage and network bandwidth. Along with this advancement, the fundamental issue of...
193
Voted
ISCC
2003
IEEE
16 years 3 days ago
2003
IEEE
Sensor networks have recently gained popularity for a wide spectrum of applications. When performing monitoring tasks in hostile environments, security requirements become critical...
178
click to vote
ISCC
2003
IEEE
16 years 3 days ago
2003
IEEE
Mobile IPv6 (MIPv6) and Fast Handover (FHO) have been developed by the Internet Engineering Task Force (IETF) to address the IP mobility issues of roaming mobile devices, and to r...
184
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...