4340 search results - page 597 / 868 » Formal Methods and Cryptography |
176
click to vote
ICDT
2007
ACM
16 years 22 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...
176
click to vote
IFL
2007
Springer
16 years 22 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 22 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...
171
click to vote
PPAM
2007
Springer
16 years 21 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 ...
185
click to vote
RSEISP
2007
Springer
16 years 21 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...