2403 search results - page 180 / 481 » Using the WinWin Spiral Model: A Case Study |
253
click to vote
CAV
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
169
Voted
CIE
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
174
click to vote
INFOCOM
2003
IEEE
16 years 9 days ago
2003
IEEE
—We obtain detailed analytic formulas for the density and probability distribution of the waiting time in a time-division multiple-access (TDMA) model with a finite buffer and s...
186
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
168
Voted
DAWAK
2008
Springer
15 years 8 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 ...