2403 search results - page 95 / 481 » Using the WinWin Spiral Model: A Case Study |
127
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
158
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
We carry out two studies on affective state modeling for communication settings that involve unilateral intent on the part of one participant (the evoker) to shift the affective s...
129
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
132
click to vote
JCIT
2007
15 years 4 months ago
2007
M-commerce is one of the ways IT can significantly contribute to boosting economy of the developing countries. M-commerce project has a high potential in the developing countries ...
132
click to vote
SGAI
2004
Springer
15 years 10 months ago
2004
Springer
Some types of animals exploit the external environment to support their cognitive processes, in the sense of patterns created in the environment that function as external mental s...