Sciweavers

4880 search results - page 163 / 976
» Mechanism Design by Creditability
Sort
View
CN
2011
140views more  CN 2011»
14 years 10 months ago
Towards the design of optimal data redundancy schemes for heterogeneous cloud storage infrastructures
Nowadays, data storage requirements from end-users are growing, demanding more capacity, more reliability and the capability to access information from anywhere. Cloud storage ser...
Lluis Pamies-Juarez, Pedro García Ló...
ICRA
2000
IEEE
94views Robotics» more  ICRA 2000»
15 years 11 months ago
Structural Design and Analysis of a New Semi-Direct Drive Robot Arm: Theory and Experiment
This paper reports the mechanical design, structural analysis, and experimental veri cation of a new high performance semi-direct drive robot arm. A design optimization methodolog...
Jaydeep Roy, Randal P. Goldberg, Louis L. Whitcomb
CONCUR
1989
Springer
15 years 10 months ago
Using the Temporal Logic RDL for Design Specifications
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...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
RSP
1998
IEEE
109views Control Systems» more  RSP 1998»
15 years 10 months ago
A Technique for Combined Virtual Prototyping and Hardware Design
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 ...
Patrick Schaumont, Geert Vanmeerbeeck, E. Watzeels...
ICALT
2006
IEEE
16 years 18 days ago
Effective Analysis and Design of Computer-Supported Learning System
The analysis phase constitutes an essential step in the development of information systems. Nevertheless, learning materials design activities currently have reduced the analysis ...
David Díez Cebollero, Camino Fernánd...