429 search results - page 4 / 86 » Symbolic Computation Software Composability |
PODS
2004
ACM
14 years 7 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...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
ICSOC
2004
Springer
14 years 26 days ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
ACMACE
2009
ACM
13 years 11 months ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...