315 search results - page 1 / 63 » Multiplex: A Formal Model for Multidatabases and Its Impleme... |
NGITS
1999
Springer
13 years 9 months ago
1999
Springer
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
RIDE
1996
IEEE
13 years 9 months ago
1996
IEEE
METU INteroperable DBMS (MIND) is a multidatabase system based on OMG's distributed object management architecture. It is implemented on top of a CORBA compliant ORB, namely,...
FDBS
2001
13 years 6 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
FMCAD
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
WDAG
1993
Springer
13 years 9 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...