6059 search results - page 125 / 1212 » A Technique for Verifying Measurements |
178
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
161
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
— Passive Optical Networks (PONs) solve the bandwidth bottleneck issue as they extend optical networks to homes and businesses. Security concerns in time division multiplexed PON...
178
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
201
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
Existing work on menu techniques has shown linear menus to be less efficient and reliable for menuing tasks when compared to radial menus. With the rise in popularity of 3D spatia...
156
click to vote
SIGMETRICS
2004
ACM
15 years 12 months ago
2004
ACM
The problem of estimating the capacity of an Internet path is one of fundamental importance. Due to the multitude of potential applications, a large number of solutions have been ...