Sciweavers

2106 search results - page 81 / 422
» Specifying C concepts
Sort
View
TCAD
2002
106views more  TCAD 2002»
13 years 7 months ago
Design of hierarchical cellular automata for on-chip test pattern generator
This paper introduces the concept of hierarchical cellular automata (HCA). The theory of HCA is developed over the Galois extension field (2 ), where each cell of the CA can store ...
Biplab K. Sikdar, Niloy Ganguly, Parimal Pal Chaud...
WER
2010
Springer
13 years 5 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
SIGMOD
2008
ACM
95views Database» more  SIGMOD 2008»
14 years 7 months ago
Interactive generation of integrated schemas
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...
Laura Chiticariu, Phokion G. Kolaitis, Lucian Popa
CAISE
2004
Springer
14 years 1 months ago
Achieving Enterprise Model Interoperability through the Model-Based Architecture Framework for Enterprises
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
Håvard D. Jørgensen, Oddrun Pauline O...
ICIP
2002
IEEE
14 years 9 months ago
Critic review on MPEG-4 face and body animation
The MPEG-4 Face and Body Animation (FBA) specifications aims at standardizing an interchange format for specifying virtual face and body modeling and related animation parameters....
Marius Preda, Françoise J. Prêteux