3444 search results - page 115 / 689 » A Theory of Object-Oriented Design |
163
Voted
EUROMICRO
1996
IEEE
15 years 9 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 ...
125
click to vote
CHI
2003
ACM
15 years 11 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...
142
Voted
IWFM
2003
15 years 7 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...
143
click to vote
ICRA
2003
IEEE
15 years 11 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...
136
click to vote
ISMVL
1999
IEEE
15 years 10 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 ...