Sciweavers

5525 search results - page 558 / 1105
» Verification of Model Transformations
Sort
View
SBCCI
2003
ACM
135views VLSI» more  SBCCI 2003»
16 years 13 days ago
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...
CAISE
2003
Springer
16 years 13 days ago
A Methodology for the Conceptual Modeling of ETL Processes
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
Alkis Simitsis, Panos Vassiliadis
SEMWEB
2001
Springer
15 years 11 months ago
RDF Models for Dynamic Syndication and Wireless Applications
Machine-understandable metadata is providing the foundation for next-generationframeworks that enable automated construction ofserver-side Java applications. Suchapplications are ...
Leon A. Shklar
FASE
2004
Springer
15 years 11 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
AVBPA
2005
Springer
225views Biometrics» more  AVBPA 2005»
15 years 9 months ago
Video-Based Face Recognition Using Bayesian Inference Model
There has been a flurry of works on video sequence-based face recognition in recent years. One of the hard problems in this area is how to effectively combine the facial configu...
Wei Fan, Yunhong Wang, Tieniu Tan