2403 search results - page 84 / 481 » Using the WinWin Spiral Model: A Case Study |
140
Voted
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
163
click to vote
DLOG
2011
14 years 8 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
152
click to vote
CANDC
2004
ACM
15 years 4 months ago
2004
ACM
Genomic analyses on part of Escherichia coli's chromosome had suggested the existence of a GATC regulated network. This has recently been confirmed through a transcriptome an...
186
Voted
RE
2010
Springer
14 years 11 months ago
2010
Springer
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
143
Voted
ESANN
1998
15 years 6 months ago
1998
Recurrent Self-Organizing Map (RSOM) is studied in three di erent time series prediction cases. RSOM is used to cluster the series into local data sets, for which corresponding lo...