10285 search results - page 33 / 2057 » Composing Feature Models |
119
click to vote
CRYPTO
2004
Springer
15 years 7 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
125
click to vote
FOSSACS
2012
Springer
13 years 9 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
109
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
118
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
105
click to vote
WMCSA
2002
IEEE
15 years 6 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...