5255 search results - page 779 / 1051 » Formal Methods for Privacy |
175
click to vote
ICA
2007
Springer
16 years 23 days ago
2007
Springer
Functional Data Analysis (FDA) is used for datasets that are more meaningfully represented in the functional form. Functional principal component analysis, for instance, is used to...
176
click to vote
ICDT
2007
ACM
16 years 23 days ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
180
click to vote
IFL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
188
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
172
click to vote
PPAM
2007
Springer
16 years 22 days ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...