Sciweavers

1624 search results - page 278 / 325
» Modelling Variability for System Families
Sort
View
SIGSOFT
2004
ACM
14 years 8 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
MOVEP
2000
136views Hardware» more  MOVEP 2000»
13 years 11 months ago
UPPAAL - Now, Next, and Future
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...
ICIP
2003
IEEE
14 years 9 months ago
Statistical atlas-based sub-voxel segmentation of 3D brain MRI
We present a 3D brain MRI segmentation method in which a high resolution label image evolves under the influence of multiple constraints. The constraints are expressed in a versat...
Marcel Bosc, Fabrice Heitz, Jean-Paul Armspach
ICSE
2003
IEEE-ACM
14 years 7 months ago
Cost Estimation for Web Applications
In this paper, we investigate the application of the COBRATM method (Cost Estimation, Benchmarking, and Risk Assessment) in a new application domain, the area of web development. ...
Melanie Ruhe, D. Ross Jeffery, Isabella Wieczorek
HICSS
2007
IEEE
75views Biometrics» more  HICSS 2007»
14 years 1 months ago
Multiple Measures of Website Effectiveness and their Association with Service Quality in Health and Human Service Agencies
Although many different measures of website effectiveness have been developed, few studies have rigorously compared and contrasted the measures. Based on the organizational effect...
Eric W. Welch, Sanjay K. Pandey