101 search results - page 21 / 21 » Abstract Interpretation Based Formal Methods and Future Chal... |
ICEIS
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...