2935 search results - page 34 / 587 » An Integrated Approach to High Integrity Software Verificati... |
140
click to vote
CAI
2006
Springer
15 years 4 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
127
click to vote
IJHPCA
2006
15 years 4 months ago
2006
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...
144
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
126
click to vote
PR
2008
15 years 4 months ago
2008
Acoustic event classification may help to describe acoustic scenes and contribute to improve the robustness of speech technologies. In this work, fusion of different information s...
142
click to vote
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
Due to the large number of possible variants in typical Software Product Lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent ...