8676 search results - page 315 / 1736 » A Feature Model for an IDE4OCL |
168
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...
146
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 ...
191
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...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
Three models of coordination--Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)--are compared and contrasted according to a set of coordination features. Ma...
147
click to vote
OR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the features of a multistage ALM recourse model in light of the recent pension reform in the Netherlands. The main results are explicit modeling of indexation...