631 search results - page 16 / 127 » Deriving Specifications from Requirements: An Example |
IFIP
2007
Springer
14 years 26 days ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
SIGSOFT
2003
ACM
13 years 12 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
MICCAI
2004
Springer
14 years 7 months ago
2004
Springer
Abstract. This paper presents a novel method for photorealistic rendering of the bronchial lumen by directly deriving matched shading and texture parameters from video bronchoscope...
EENERGY
2010
13 years 10 months ago
2010
From an ecological but also from an economical and in the meantime a technical view the fast ongoing increase of power consumption in today’s data centers is no longer feasible....
KDD
2008
ACM
14 years 7 months ago
2008
ACM
The input to an algorithm that learns a binary classifier normally consists of two sets of examples, where one set consists of positive examples of the concept to be learned, and ...