2403 search results - page 180 / 481 » Using the WinWin Spiral Model: A Case Study |
227
click to vote
CAV
2004
Springer
15 years 12 months 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...
151
click to vote
CIE
2005
Springer
15 years 12 months 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...
157
click to vote
INFOCOM
2003
IEEE
15 years 11 months 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...
170
click to vote
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 ...
141
click to vote
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 ...