3444 search results - page 115 / 689 » A Theory of Object-Oriented Design |
EUROMICRO
1996
IEEE
14 years 2 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
CHI
2003
ACM
14 years 3 months ago
2003
ACM
Four years of research has led to a theory that describes how people assess the credibility of Web sites. This theory proposes that users notice and interpret various Web site ele...
IWFM
2003
13 years 11 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
Based on a recently developed ”generalized averaging theory,” we present a generic approach for the design of stabilizing feedback controllers for biomimetic locomotive systems...
ISMVL
1999
IEEE
14 years 2 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...