10285 search results - page 38 / 2057 » Composing Feature Models |
169
click to vote
FOCS
2003
IEEE
15 years 7 months ago
2003
IEEE
Concurrent general composition relates to a setting where a secure protocol is run in a network concurrently with other, arbitrary protocols. Clearly, security in such a setting i...
102
click to vote
DSD
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
120
click to vote
TCC
2009
Springer
16 years 2 months ago
2009
Springer
It is well known that universally composable multiparty computation cannot, in general, be achieved in the standard model without setup assumptions when the adversary can corrupt a...
133
click to vote
PODS
2004
ACM
16 years 2 months ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
125
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
Large-scale database integration requires a significant cost in developing a global schema and finding mappings between the global and local schemas. Developing the global schema r...