Sciweavers

430 search results - page 43 / 86
» Design by Contract for Python
Sort
View
WINE
2010
Springer
144views Economy» more  WINE 2010»
13 years 6 months ago
An Axiomatic Characterization of Continuous-Outcome Market Makers
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
Xi Alice Gao, Yiling Chen
APSEC
1999
IEEE
14 years 1 months ago
Conducting Requirements Evolution by Replacing Components in the Current System
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
Haruhiko Kaiya, Kenji Kaijiri
UML
1998
Springer
14 years 26 days ago
Supporting Disciplined Reuse and Evolution of UML Models
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
Tom Mens, Carine Lucas, Patrick Steyaert
ICMAS
2000
13 years 10 months ago
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
A critical challenge to creating effective open multi-agent systems is allowing them to operate effectively in the face of potential failures. In this paper we present an experimen...
Chrysanthos Dellarocas, Mark Klein
SIGSOFT
2008
ACM
14 years 9 months ago
Latent social structure in open source projects
Commercial software project managers design project organizational structure carefully, mindful of available skills, division of labour, geographical boundaries, etc. These organi...
Christian Bird, David S. Pattison, Raissa M. D'Sou...