Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarak...
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...
Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C...