3330 search results - page 237 / 666 » software 2010 |
88
Voted
ENTCS
2007
15 years 20 days 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...
EOR
2002
15 years 16 days 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 ...
112
click to vote
JIPS
2010
14 years 7 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...
77
Voted
JMLR
2010
14 years 7 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...
102
Voted
JMLR
2010
14 years 7 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...