932 search results - page 96 / 187 » Verifying Progress in Timed Systems |
116
click to vote
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
—In this paper we present findings from our windowing BitTorrent simulations and show that by carefully optimizing other factors a reasonable level of performance can be achieved...
107
click to vote
JMMA
2002
15 years 3 months ago
2002
Abstract. Multiresolution representation of quadrilateral surface approximation (MRQSA) is a useful representation for progressive graphics transmission in networks. Based on two r...
123
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
114
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
130
click to vote
VRML
2004
ACM
15 years 9 months ago
2004
ACM
This paper addresses the problem of streaming progressively compressed 3-D models over lossy networks. Out of all encoded packets that can be transmitted, we intelligently choose ...