2740 search results - page 98 / 548 » A Model-Based Approach To Requirements Analysis |
WSC
2000
13 years 10 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we report on a novel approach for uniform encoding of hash functions (but also other cryptographic functions) into propositional logic formulae, and reducin...
SNPD
2008
13 years 10 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
ICA
2012
Springer
12 years 4 months ago
2012
Springer
A novel tensor decomposition called pattern or P-decomposition is proposed to make it possible to identify replicating structures in complex data, such as textures and patterns in ...