Sciweavers

14056 search results - page 281 / 2812
» Consistency in Model Integration
Sort
View
TSE
1998
85views more  TSE 1998»
15 years 6 months ago
A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh
ISEMANTICS
2010
15 years 5 months ago
Taking the LIDS off data silos
LInked Data Services (LIDS) denote the integration of dataproviding services and Linked Data. LIDS are parameterised and formally described web resources which return RDF when der...
Sebastian Speiser, Andreas Harth
DATE
1997
IEEE
92views Hardware» more  DATE 1997»
15 years 11 months ago
MOSAIC: a multiple-strategy oriented sequential ATPG for integrated circuits
The paper proposes a novel approach in an attempt to solve the test problem for sequential circuits. Up until now, most of the classical test pattern techniques use a number of al...
A. Dargelas, C. Gauthron, Yves Bertrand
ICRA
1994
IEEE
157views Robotics» more  ICRA 1994»
15 years 10 months ago
An Integrated System for Autonomous Off-Road Navigation
In this paper, we report on experiments with a core system for autonomous navigation in outdoor natural terrain. The system consists of three parts: a perception module which proc...
Dirk Langer, Julio Rosenblatt, Martial Hebert
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 10 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...