3330 search results - page 237 / 666 » software 2010 |
107
Voted
ENTCS
2007
15 years 3 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
107
Voted
EOR
2002
15 years 3 months ago
2002
We describe a general methodology, socio-cognitive engineering, for the design of human-centred technology. It integrates software, task, knowledge and organizational engineering ...
142
Voted
JIPS
2010
14 years 10 months ago
2010
The growing number of web applications in the global economy has made it critically important to develop secure and reliable software to support the economy's increasing depen...
100
Voted
JMLR
2010
14 years 10 months ago
2010
WEKA is a popular machine learning workbench with a development life of nearly two decades. This article provides an overview of the factors that we believe to be important to its...
134
Voted
JMLR
2010
14 years 10 months ago
2010
Massive Online Analysis (MOA) is a software environment for implementing algorithms and running experiments for online learning from evolving data streams. MOA is designed to deal...