631 search results - page 41 / 127 » Deriving Specifications from Requirements: An Example |
BC
2002
13 years 8 months ago
2002
Abstract. How do humans achieve the precise positioning of the feet during walking, for example, to reach the first step of a stairway? We addressed this question at the visuomotor...
SEKE
1994
Springer
14 years 17 days ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
EKAW
2006
Springer
14 years 4 days ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
MICCAI
2007
Springer
14 years 9 months ago
2007
Springer
Disease-specific understanding of echocardiographic sequences requires accurate characterization of spatio-temporal motion patterns. In this paper we present a method of automatic ...
VLSID
2008
IEEE
14 years 8 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...