193 search results - page 3 / 39 » Modelling Assumptions and Requirements in the Context of Pro... |
TARK
2007
Springer
14 years 11 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
HICSS
2002
IEEE
13 years 11 months ago
2002
IEEE
More than ¾ of large software projects suffer large cost and schedule overruns or fail outright. Deficits in project requirements cause more than half of these failures and overr...
ESWA
2011
12 years 9 months ago
2011
This interdisciplinary research project focuses on relevant applications of Knowledge Discovery and Artificial Neural Networks in order to identify and analyse levels of country, b...
HICSS
2007
IEEE
14 years 18 days ago
2007
IEEE
Enterprise resource planning (ERP) systems integrate companies’ multiple information systems and help adapt best practices for business processes. ERP systems are in most cases ...
CCE
2007
13 years 7 months ago
2007
: In the context of the MAPPER project, the paper presents an approach for model based methodology engineering with the mission of supporting the creation and utilisation of a holi...