4190 search results - page 678 / 838 » The Cost of Design |
150
click to vote
TPDS
2010
15 years 4 months ago
2010
—Various sensor types, e.g., temperature, humidity, and acoustic, sense physical phenomena in different ways, and thus, are expected to have different sensing models. Even for th...
186
click to vote
WIOPT
2010
IEEE
15 years 4 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...
257
click to vote
WRLA
2010
15 years 4 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
162
click to vote
ACL
2010
15 years 4 months ago
2010
Despite the existence of several noun phrase coreference resolution data sets as well as several formal evaluations on the task, it remains frustratingly difficult to compare resu...
205
click to vote
ASAP
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper proposes an FPGA-based applicationspecific elliptic curve processor over a prime field. This research targets applications for which compactness is more import...