18769 search results - page 89 / 3754 » Requirements Models in Context |
126
click to vote
ICALT
2005
IEEE
15 years 9 months ago
2005
IEEE
Based on the overall aims of the AdeLE (Adaptive e-Learning with Eye-Tracking) project, and in particular motivated by the decision of using a strictly separated system’s archit...
127
click to vote
MODELLIERUNG
2008
15 years 5 months ago
2008
: The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabili...
119
click to vote
DGO
2008
15 years 5 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
123
click to vote
VOSS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
133
click to vote
SCANGIS
2003
15 years 5 months ago
2003
The GI2000 initiative considered the requirements for a geographic information infrastructure in Europe. This was followed by the European Territorial Management Information Infras...