2403 search results - page 179 / 481 » Using the WinWin Spiral Model: A Case Study |
143
click to vote
ECIS
2004
15 years 7 months ago
2004
This research throws light on to the role of social issues in developing a successful information system. In a case study of a community health organization, we describe how IT ma...
186
click to vote
EAAI
2008
15 years 6 months ago
2008
Nowadays, many real problems can be formalized as Distributed CSPs. A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distribu...
144
click to vote
JASSS
1998
15 years 6 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
162
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
174
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...