Sciweavers

955 search results - page 2 / 191
» Coordination analysis: a method for deriving use cases from ...
Sort
View
RE
2001
Springer
13 years 9 months ago
Deriving Safety Requirements Using Scenarios
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
Karen Allenby, Tim Kelly
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 5 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
TIT
2008
119views more  TIT 2008»
13 years 5 months ago
Asymptotic Properties of the Detrended Fluctuation Analysis of Long-Range-Dependent Processes
In the past few years, a certain number of authors have proposed analysis methods of the time series built from a long range dependence noise. One of these methods is the Detrended...
Jean-Marc Bardet, Imen Kammoun
EOR
2008
86views more  EOR 2008»
13 years 5 months ago
A critical analysis of the eigenvalue method used to derive priorities in AHP
A lot of research has been devoted to the critical analysis of the Analytic Hierarchy Process (AHP), from various perspectives. However, as far as we know, no one has addressed a ...
Carlos A. Bana e Costa, Jean-Claude Vansnick
MOC
2000
70views more  MOC 2000»
13 years 5 months ago
Extrapolation methods and derivatives of limits of sequences
Let {Sm} be an infinite sequence whose limit or antilimit S can be approximated very efficiently by applying a suitable extrapolation method E0 to {Sm}. Assume that the Sm and henc...
Avram Sidi