241 search results - page 10 / 49 » Design by Contract Using Meta-Assertions |
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Our paper concerns optimal combinations of different types of reinsurance contracts. We introduce a novel approach based on the Mean-Variance-Criterion to solve this task. Two sta...
VIS
2005
IEEE
14 years 8 months ago
2005
IEEE
VisIt is a richly featured visualization tool that is used to visualize some of the largest simulations ever run. The scale of these simulations requires that optimizations are in...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
The rapid expansion of Internet based services has created opportunities for ICT firms to collect and use, in an unauthorized way, information about individuals (e.g. customers, pa...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Contracting out government services, especially IT services, has accelerated in recent years in the United States. Based on literature in privatization and contracting out, the au...
TSE
2012
11 years 10 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...