3101 search results - page 15 / 621 » Composing Adaptive Software |
94
Voted
ASIACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
85
Voted
ESORICS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Key exchange protocols in the setting of universal composability are investigated. First we show that the ideal functionality FKE of [9] cannot be realized in the presenc...
ISESE
2003
IEEE
15 years 5 months ago
2003
IEEE
Data collected from five years of developing e-service applications at USC-CSE reveals that an increasing fraction have been commercial-off-the-shelf (COTS)Based Application (CBA)...
71
Voted
FM
2003
Springer
15 years 4 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
103
Voted
WSC
2007
15 years 2 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...