5623 search results - page 229 / 1125 » Incremental Mechanism Design |
134
Voted
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
158
click to vote
RSP
1998
IEEE
15 years 10 months ago
1998
IEEE
A technique to include virtual prototyping in the design cycle of complex digital modem ASICs is presented. It is innovating by using the same behavioral description for both the ...
173
click to vote
ICALT
2006
IEEE
16 years 20 days ago
2006
IEEE
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
118
Voted
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
— This work introduces a modified endoscope structure that employs a spring as its backbone. This design allows backdrivability of the mechanism due to the flexibility of the spr...
165
click to vote
IEEEICCI
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper explores the nature of software and software development, discusses the importance of specialization in software development, and infers that separation of design and i...