5180 search results - page 295 / 1036 » Requirements Engineering |
138
click to vote
RE
2007
Springer
16 years 23 days ago
2007
Springer
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
164
click to vote
RE
2007
Springer
16 years 23 days ago
2007
Springer
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...
169
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
162
click to vote
AUIC
2006
IEEE
16 years 21 days ago
2006
IEEE
A paperless environment for annotating student assignments is appealing to teachers and students. However, to do this, while retaining the richness and ease of annotating the work...
163
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...