2403 search results - page 25 / 481 » Using the WinWin Spiral Model: A Case Study |
DAC
1997
ACM
15 years 1 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
STTT
2010
14 years 7 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
ECRA
2008
14 years 9 months ago
2008
Mobile payments can be categorized according to their usage in each of the five payment scenarios presented here. The paper proposes the mobile payment modeling approach (MPMA) es...
SYNASC
2007
IEEE
15 years 3 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
84
Voted
VIP
2001
14 years 10 months ago
2001
Visualisation Systems are in general designed to maximise the cognitive ability of system users particularly when exposed to large sets of otherwise difficult to comprehend data, ...