2403 search results - page 88 / 481 » Using the WinWin Spiral Model: A Case Study |
165
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
162
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
134
click to vote
WSC
2001
15 years 6 months ago
2001
The semiconductor industry is rapidly expanding worldwide. With the continuing advancement of technology, companies are continually striving to develop and maintain cutting edge p...
144
click to vote
CCIA
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, a validation and an experimentation of the use of graded BDI agents is reported. This agent model has been proposed to specify agents capable to deal with the enviro...
158
click to vote
CAI
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...