3814 search results - page 136 / 763 » Extensible Information Brokers |
135
click to vote
OOIS
2000
Springer
15 years 10 months ago
2000
Springer
Given that ODMG 3.0 specifications do not address the definition of external schemas, we are developing an external schema definition methodology for ODMG databases. In this paper...
156
click to vote
ECEASST
2006
15 years 6 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
152
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
In undergraduate teaching, Computer Architecture (CA) is one of the courses with more systematic, nsive and abstract knowledge. In current Chinese universities, how to bring up und...
207
click to vote
IDEAS
1999
IEEE
15 years 10 months ago
1999
IEEE
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
149
click to vote
DEXAW
2007
IEEE
16 years 25 days ago
2007
IEEE
The categorization of documents is traditionally topic-based. This paper presents a complementary analysis of research and experiments on genre to show that encouraging results ca...