3444 search results - page 112 / 689 » A Theory of Object-Oriented Design |
JFP
2008
13 years 10 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
JSC
2006
13 years 10 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. This paper defends an augmented cognitively oriented "genericdesign hypothesis": There are both significant similarities between the design activities implement...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
For years the HCI community has struggled to integrate design in research and practice. While design has gained a strong foothold in practice, it has had much less impact on the H...
DCC
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper we demonstrate a new and original way to apply the representation theory of finite groups to the development of space-time codes for use in multiple antenna wireless ...