8587 search results - page 1554 / 1718 » Interactive dynamic abstraction |
231
Voted
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...
174
click to vote
INFOCOM
2005
IEEE
16 years 17 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...
205
click to vote
IFL
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
262
Voted
SIGCOMM
2004
ACM
16 years 12 days ago
2004
ACM
Overlay network monitoring enables distributed Internet applications to detect and recover from path outages and periods of degraded performance within seconds. For an overlay net...
185
click to vote
GIAE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...