8781 search results - page 188 / 1757 » Enterprise Model Integration |
141
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
116
Voted
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
- We describe an integrated model of the hardware and the battery sub-systems in batterypowered VLSI systems. We demonstrate that, under this model and for a fixed operating voltag...
132
Voted
SAB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose an integrated model of the saccadic circuitry involved in target selection and motor command. It includes the Superior Colliculus and the Basal Ganglia in both...
147
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We propose an integrated framework for automated hand model initialization and tracking using voxel data. Starting with an initial specific hand pose, the Laplacian Eigenspace (LE...
141
click to vote
MODELLIERUNG
2008
15 years 7 months ago
2008
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...