1288 search results - page 121 / 258 » On Analysis of Design Component Contracts: A Case Study |
87
Voted
DAWAK
2008
Springer
15 years 3 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
104
click to vote
ENGL
2007
15 years 1 months ago
2007
—This paper presents the application of quality function deployment (QFD) to process analysis. QFD has been applied in various industries since the 1960s, but traditional QFD met...
131
click to vote
ECBS
2007
IEEE
15 years 5 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
103
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
129
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
—An omnidirectional mobile robot is able, kinematically, to move in any direction regardless of current pose. To date, nearly all designs and analyses of omnidirectional robots h...