3444 search results - page 394 / 689 » A Theory of Object-Oriented Design |
216
click to vote
LPAR
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
205
click to vote
ECRTS
2003
IEEE
16 years 21 days ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
201
click to vote
GLVLSI
2003
IEEE
16 years 21 days ago
2003
IEEE
In this work we ask the fundamental question: How many bits of information can be stored in a crossbar switching network? The answer is trivial when the switches of the network ar...
189
click to vote
HICSS
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
184
click to vote
ICRA
2003
IEEE
16 years 21 days ago
2003
IEEE
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...