5904 search results - page 276 / 1181 » Requirements for a Composition Language |
166
click to vote
BXML
2004
15 years 8 months ago
2004
We present a VoiceXML-based spokenlanguage front-end for a multilingual music database. The multilingual setting poses new and unsolved challenges for the speech components and th...
200
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
190
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
This paper proposes a D-algebra to compose decisions from multiple access control policies. Compared to other algebrabased approaches aimed at policy composition, D-algebra is the...
197
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
191
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...