Sciweavers

7421 search results - page 263 / 1485
» In search of dependable design
Sort
View
SEFM
2009
IEEE
16 years 1 months ago
Modal Contracts for Component-Based Design
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...
Gregor Goessler, Jean-Baptiste Raclet
IV
2008
IEEE
89views Visualization» more  IV 2008»
16 years 1 months ago
A Practical Way for Projects to Visualize Design Rationale
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
Ian Alexander
GMP
2006
IEEE
114views Solid Modeling» more  GMP 2006»
16 years 24 days ago
A Step Towards Automated Design of Side Actions in Injection Molding of Complex Parts
Side actions contribute to mold cost by resulting in an additional manufacturing and assembly cost as well as by increasing the molding cycle time. Therefore, generating shapes of ...
Ashis Gopal Banerjee, Satyandra K. Gupta
FC
2004
Springer
78views Cryptology» more  FC 2004»
16 years 4 days ago
Secure Interaction Design
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
Ka-Ping Yee
ISCAS
2003
IEEE
98views Hardware» more  ISCAS 2003»
16 years 19 hour ago
Dynamic operand transformation for low-power multiplier-accumulator design
: The design of portable battery-operated devices requires low-power computation circuits. This paper presents a new multiplier-accumulator (MAC) design approach, which in contrast...
Masayoshi Fujino, Vasily G. Moshnyaga