9730 search results - page 364 / 1946 » Relating models of backtracking |
158
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
136
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
A dual probability model is constructed for the Latent Semantic Indexing LSI using the cosine similarity measure. Both the document-document similarity matrix and the term-term ...
127
click to vote
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
200
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
143
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...