174 search results - page 30 / 35 » Rethinking the economics of software engineering |
AMOST
2007
ACM
13 years 11 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
DGO
2007
13 years 9 months ago
2007
To keep a network of enterprises sustainable, inter-organizational control measures are needed to detect or prevent opportunistic behaviour of network participants. We present a m...
ALIFE
2006
13 years 7 months ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...
ACMICEC
2005
ACM
14 years 1 months ago
2005
ACM
This paper presents the model of e-market structure and process analysis of tourism e-commerce. First the tourism e-commerce status quo is given clearly; secondly e-commerce and i...