2403 search results - page 176 / 481 » Using the WinWin Spiral Model: A Case Study |
175
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
165
click to vote
MSS
2010
IEEE
15 years 4 months ago
2010
IEEE
Distributional analysis is widely used to study social choice in Euclidean models [35, 36, 1, 5, 11, 19, 8, 2, e.g]. This method assumes a continuum of voters distributed accordin...
200
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
175
click to vote
SPLC
2008
15 years 7 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
160
click to vote
TIT
2008
15 years 6 months ago
2008
An extractor is a function that is used to extract randomness. Given an imperfect random source X and a uniform seed Y , the output (X; Y ) is close to uniform. We study properties...