Sciweavers

4564 search results - page 490 / 913
» Data Integration Using ID-Logic
Sort
View
WSC
1997
15 years 5 months ago
Automating the Metamodeling Process
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
Don Caughlin
IJIIDS
2008
100views more  IJIIDS 2008»
15 years 3 months ago
A novel vehicle communication paradigm based on Cellular Networks for improving the safety in roads
: Main aim of Intelligent Transport Systems (ITS) applied to roads is to increase their safety. To achieve this aim, many researchers are focused on developing robust and efficient...
José Santa, Rafael Toledo-Moreo, Antonio F....
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 3 months ago
Statistical mechanics of neocortical interactions: Portfolio of Physiological Indicators
There are several kinds of non-invasive imaging methods that are used to collect data from the brain, e.g., EEG, MEG, PET, SPECT, fMRI, etc. It is difficult to get resolution of i...
Lester Ingber
RSP
1998
IEEE
162views Control Systems» more  RSP 1998»
15 years 8 months ago
The STEP Standard as an Approach for Design and Prototyping
STEP is an ISO standard (ISO-10303) for the computerinterpretable representation and exchange of product data. Parts of STEP standardize conceptual structures and usage ofinformat...
Alain Plantec, Vincent Ribaud
CC
1998
Springer
134views System Software» more  CC 1998»
15 years 8 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson