927 search results - page 135 / 186 » Practical Limits on Software Dependability: A Case Study |
PROFES
2004
Springer
14 years 1 months ago
2004
Springer
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
UIST
2010
ACM
13 years 5 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
EMSOFT
2009
Springer
14 years 2 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
ASWEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Distributed applications that adapt as their environment changes are developed from selfmanaging, self-configuring and self-optimising behaviours. This requires constant monitorin...