Sciweavers

5101 search results - page 573 / 1021
» Capturing Context Requirements
Sort
View
SAC
2006
ACM
15 years 7 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
PSYCHNOLOGY
2007
89views more  PSYCHNOLOGY 2007»
15 years 6 months ago
Simple, Fast, Cheap: Success Factors for Interactive Multimedia Tools
This paper discusses key factors contributing to the “success” of interactive multimedia development tools in non ICT professional contexts. We define “success” in terms o...
Davide Bolchini, Nicoletta Di Blas, Franca Garzott...
SAC
2008
ACM
15 years 6 months ago
Decision-making coordination in collaborative product configuration
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
Marcílio Mendonça, Thiago T. Bartolo...
ICANN
2010
Springer
15 years 5 months ago
Autonomous Generation of Internal Representations for Associative Learning
In this contribution, we explore the possibilities of learning in large-scale, multimodal processing systems operating under real-world conditions. Using an instance of a large-sca...
Michaël Garcia Ortiz, Benjamin Dittes, Jannik...
IJCCBS
2010
105views more  IJCCBS 2010»
15 years 5 months ago
Software safety: relating software assurance and software integrity
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
Ibrahim Habli, Richard Hawkins, Tim Kelly