4636 search results - page 224 / 928 » Modelling and Validation with VipTool |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
A recent approach to the problem of ontology matching has been to convert the problem of ontology matching to information retrieval. We explore the utility of this approach in matc...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— In order for a mobile robot to accurately interpret its sensations and predict the effects of its actions, it must have accurate models of its sensors and actuators. These mode...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...