10285 search results - page 28 / 2057 » Composing Feature Models |
118
click to vote
AIPS
2009
15 years 3 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
140
Voted
EUROCRYPT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
138
click to vote
EPEW
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
115
click to vote
EUROCRYPT
2007
Springer
15 years 8 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...