12107 search results - page 226 / 2422 » Software That Can Think |
175
click to vote
CE
2004
15 years 6 months ago
2004
: Much recent educational research focuses on teaching and learning within classroom conversations. This raises the question of the role of ICT as a support for such conversations....
152
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...
279
click to vote
ASE
2011
15 years 1 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
189
click to vote
TSE
2011
15 years 1 months ago
2011
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
155
click to vote
JDCTA
2010
15 years 1 months ago
2010
Platform-based development is currently the dominant development method of enterprise application, but the features provided by current mainstream enterprise application developme...