876 search results - page 54 / 176 » Integrating Preferences into Goal Models for Requirements En... |
170
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
287
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...
220
click to vote
ASWC
2009
Springer
15 years 3 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
160
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
145
click to vote
STEP
2005
IEEE
15 years 11 months ago
2005
IEEE
Software process improvement is an iterative activity, normally involving measurement, analysis, and change. For most organizations, the existing software process has substantial ...