9110 search results - page 166 / 1822 » Formally-Based Design Evaluation |
139
click to vote
ER
2006
Springer
15 years 7 months ago
2006
Springer
This paper reports an empirical study that used computer science major students as experimental subjects to evaluate the productivity and the reproducibility of RmFFP. This is a fu...
134
click to vote
MODELLIERUNG
2008
15 years 6 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...
141
click to vote
APVIS
2004
15 years 6 months ago
2004
Discrete 2D survey data is common in the areas of business, science and government. Visualisation is often used to present such data. The best form of visualisation depends on how...
129
Voted
IADIS
2003
15 years 6 months ago
2003
We present a simulation model used to evaluate a distributed search engine by modelling its performance. The model is designed to aid performance-driven evolution of the system. W...
102
click to vote
INTERACT
2003
15 years 6 months ago
2003
: This study investigates the usefulness of a scenario advisor tool which was designed to be used in the military domain where human or machine errors cause safety-critical problem...