430 search results - page 52 / 86 » Design by Contract for Python |
HOTOS
1999
IEEE
13 years 12 months ago
1999
IEEE
Resource management is a fundamental concept in operating system design. In recent years it has become fashionable to consider the problem as an aspect of heterogeneous support fo...
EUC
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
FMCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
CBSE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
AAAI
2010
13 years 9 months ago
2010
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...