430 search results - page 42 / 86 » Design by Contract for Python |
111
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
120
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The distinguishing feature of a metasystem is middleware that facilitates viewing a collection of large, distributed, heterogeneous resources as a single virtual machine, where ea...
121
click to vote
EICS
2009
ACM
15 years 6 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
121
click to vote
SCFBM
2008
15 years 1 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
124
click to vote
OOPSLA
2010
Springer
15 years 11 days ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...