9110 search results - page 1513 / 1822 » Formally-Based Design Evaluation |
199
click to vote
WINET
2010
15 years 5 months ago
2010
Abstract Link Adaptation is a radio resource management technique that assesses the channel conditions and selects a transport mode, from a set of possible options, which is optimi...
192
click to vote
WIOPT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Revocation of public-key certificates is an important security primitive. In this paper, we design a fully distributed local certificate revocation scheme for ephemeral networ...
187
click to vote
XPU
2010
Springer
15 years 5 months ago
2010
Springer
Pair Programming has often been reported to be beneficial in software projects. To better understand where these benefits come from we evaluate the aspect of intra-pair communica...
149
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...
343
click to vote
ATS
2010
IEEE
15 years 4 months ago
2010
IEEE
In the conventional ADC production test method, a high-quality analogue sine wave is applied to the Analogue-toDigital Converter (ADC), which is expensive to generate. Nowadays, an...