2403 search results - page 172 / 481 » Using the WinWin Spiral Model: A Case Study |
135
click to vote
MKWI
2008
15 years 7 months ago
2008
: This paper introduces a tailored procedure model to construct reference models by using rich empirical data. The procedure model has been built based on requirements from the pub...
179
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
152
click to vote
WSC
1998
15 years 7 months ago
1998
Process modeling and simulation was introduced to the Timberland Co. in order to help improve the company's increasingly complex and cross-functional business processes. Two ...
192
click to vote
COOP
2004
15 years 7 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
200
click to vote
IPPS
2005
IEEE
16 years 18 hour ago
2005
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...