8676 search results - page 344 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
119
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper gives an overview of the error sources in the solution of DAEs and discusses how different algorithms use tolerances to control these errors. The tolerance models of th...
131
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we explore the object-oriented reflective world, performing an overview of the existing models and presenting a set of features suitable to evaluate the quality of e...
169
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
148
click to vote
HCI
2007
15 years 8 months ago
2007
The current research sought to construct a computational model of human navigation for virtual three dimensional environments. The model was implemented within the ACT-R cognitive ...
192
click to vote
ACL
2003
15 years 8 months ago
2003
Word alignment plays a crucial role in statistical machine translation. Word-aligned corpora have been found to be an excellent source of translation-related knowledge. We present...