3444 search results - page 138 / 689 » A Theory of Object-Oriented Design |
183
click to vote
MKM
2009
Springer
16 years 19 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
130
click to vote
ISICA
2007
Springer
16 years 6 days ago
2007
Springer
In this paper the authors point out that the Pareto Optimality is unfair, unreasonable and imperfect for Many-objective Optimization Problems (MOPs) underlying the hypothesis that ...
151
click to vote
WINE
2007
Springer
16 years 5 days ago
2007
Springer
We consider the problem of assigning prices to goods of fixed marginal cost in order to maximize revenue in the presence of single-minded customers. We focus in particular on the...
139
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
151
Voted
SIGDOC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...