6253 search results - page 470 / 1251 » Use Case Modeling Guidelines |
249
Voted
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
I n recent years, numerous transaction models have been proposed to address the problems posed by advanced database applications, but only a few of these models are being used in ...
147
click to vote
CICLING
2010
Springer
16 years 29 days ago
2010
Springer
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. In this paper we present a Generativ...
186
click to vote
TIME
2009
IEEE
16 years 27 days ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
164
click to vote
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
187
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...