430 search results - page 37 / 86 » Design by Contract for Python |
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—The use of licensed spectrum for wireless communication is driven by the need to control interference between different operators. However, with this mode of regulation,...
SIGSAND
2008
13 years 10 months ago
2008
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
AUTOMATICA
2002
13 years 8 months ago
2002
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
WINE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We experimentally studied the effects of a eBay-style selfreporting reputation mechanism in an double-sided exchange economy in which participants have the option of not...
WINE
2005
Springer
14 years 2 months ago
2005
Springer
We present a mechanism for reservations of bursty resources that is both truthful and robust. It consists of option contracts whose pricing structure induces users to reveal the tr...