Sciweavers

634 search results - page 36 / 127
» Groundwork for Weak Analysis
Sort
View
KBSE
1998
IEEE
15 years 6 months ago
Automated Integrative Analysis of State-based Requirements
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
Barbara J. Czerny, Mats Per Erik Heimdahl
110
Voted
SCS
2001
15 years 3 months ago
High Level Failure Analysis for Integrated Modular Avionics
Integrated Modular Avionics (IMA) is the term used for a common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to a...
Philippa Conmy, John A. McDermid
IPPS
2002
IEEE
15 years 6 months ago
Failure Behavior Analysis for Reliable Distributed Embedded Systems
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
Mario Trapp, Bernd Schürmann, Torsten Tettero...
113
Voted
APN
2010
Springer
15 years 2 months ago
Forward Analysis for Petri Nets with Name Creation
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing p...
Fernando Rosa Velardo, David de Frutos-Escrig
TSMC
2008
126views more  TSMC 2008»
15 years 1 months ago
Information Visualization for DNA Microarray Data Analysis: A Critical Review
Graphical representation may provide effective means of making sense of the complexity and sheer volume of data produced by DNA microarray experiments that monitor the expression p...
Leishi Zhang, J. Kuljis, Xiaohui Liu