Sciweavers

5 search results - page 1 / 1
» Four-Level-Architecture for Closure in Interoperability
Sort
View
EFDBS
2003
13 years 6 months ago
Four-Level-Architecture for Closure in Interoperability
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
B. Nick Rossiter, Michael A. Heather
ICEIS
2005
IEEE
13 years 10 months ago
Conditions for Interoperability
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
B. Nick Rossiter, Michael A. Heather
CAV
2012
Springer
222views Hardware» more  CAV 2012»
11 years 7 months ago
OpenNWA: A Nested-Word Automaton Library
Nested-word automata (NWAs) are a language formalism that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express some context-free properties, ...
Evan Driscoll, Aditya V. Thakur, Thomas W. Reps
ICDT
2009
ACM
175views Database» more  ICDT 2009»
14 years 5 months ago
Structural characterizations of schema-mapping languages
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
Balder ten Cate, Phokion G. Kolaitis
ISPD
1997
ACM
100views Hardware» more  ISPD 1997»
13 years 8 months ago
A pseudo-hierarchical methodology for high performance microprocessor design
- This paper reports on a highly effective methodology to construct complex high performance microprocessors. Critical aspects of the methodology include an integrated database for...
A. Bertolet, K. Carpenter, Keith M. Carrig, Albert...