5668 search results - page 911 / 1134 » Overlaps in Requirements Engineering |
149
click to vote
EMNETS
2007
15 years 10 months ago
2007
Currently, there is a lack of stand-alone geo-monitoring systems for harsh environments that are easy to configure, deploy and manage, while at the same time adhering to science g...
198
click to vote
ACMIDC
2010
15 years 10 months ago
2010
Despite several efforts to make search engines more childfriendly, children still have trouble using systems that require keyboard input. We present TeddIR: a system using a tangi...
178
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Interleaving experiments are an attractive methodology for evaluating retrieval functions through implicit feedback. Designed as a blind and unbiased test for eliciting a preferen...
187
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
173
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...