241 search results - page 34 / 49 » Design by Contract Using Meta-Assertions |
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— This paper presents a decentralized negotiation protocol for cooperative economic scheduling in a supply chain environment. For this purpose we designed autonomous agen...
ICNC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recently, there has been an outburst of interest in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. The represen...
FIDJI
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. GOLD (Grid-based Information Models to Support the Rapid Innovation of New High Value-Added Chemicals) is concerned with the dynamic formation and management of virtual o...
PET
2004
Springer
14 years 27 days ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...