1446 search results - page 15 / 290 » Formal analysis of hardware requirements |
FPT
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes the design and implementation of hardware architectures for posture analysis. Posture analysis is an active research area in computer vision. It can be used i...
ICECCS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...
TSE
1998
13 years 7 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
REFSQ
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
TFM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...