1288 search results - page 155 / 258 » On Analysis of Design Component Contracts: A Case Study |
127
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
92
Voted
FPL
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we present Minibit+, an approach that optimizes the bit-widths of fixed-point and floating-point designs, while guaranteeing accuracy. Our approach adopts differen...
101
Voted
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...
130
click to vote
VIS
2008
IEEE
16 years 2 months ago
2008
IEEE
Professional designers and artists are quite cognizant of the rules that guide the design of effective color palettes, from both aesthetic and attention-guiding points of view. In ...
85
Voted
PUC
2007
15 years 1 months ago
2007
Design for the digital home is often predicated on an ideal, imagined domestic space that is expansive, stable, occupied by a ‘‘busy’’ nuclear family, and does not always m...