Sciweavers

12289 search results - page 374 / 2458
» System modeling with mixed object and data models
Sort
View
EUROMICRO
1999
IEEE
15 years 11 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
SIGMOD
1997
ACM
100views Database» more  SIGMOD 1997»
15 years 11 months ago
MDM: a Multiple-Data-Model Tool for the Management of Heterogeneous Database Schemes
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
Paolo Atzeni, Riccardo Torlone
IJCAI
2003
15 years 8 months ago
Logic Programs for Consistently Querying Data Integration Systems
We solve the problem of obtaining answers to queries posed to a mediated integration system un­ der the local-as-view paradigm that are consistent wrt to certain global integrity...
Loreto Bravo, Leopoldo E. Bertossi
190
Voted
DASFAA
1999
IEEE
90views Database» more  DASFAA 1999»
15 years 11 months ago
Spatial Presentation and Aggregation of Georeferenced Data
In this paper, we will introduce a method of spatial presentation of georeferenced data in a three-dimensional space. Photographs, Quicktime VR's, videos, and computer graphi...
Kengo Koiso, Takahiro Matsumoto, Katsumi Tanaka
FMCAD
2007
Springer
15 years 10 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...