8810 search results - page 1414 / 1762 » Openness |
197
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
We consider the round complexity of a basic cryptographic task: verifiable secret sharing (VSS). This well-studied primitive provides a good "test case" for our understan...
176
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
This paper describes gate work function and oxide thickness tuning to realize novel circuits using dual-Vth independent-gate FinFETs. Dual-Vth FinFETs with independent gates enabl...
183
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
168
click to vote
CN
2010
15 years 4 months ago
2010
This article addresses the ubiquitous topic of Quality of Service (QoS) aware connection provisioning in wavelength routed WDM optical networks. The impact of the connection setup...
215
click to vote
COMSIS
2010
15 years 4 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...