Sciweavers

6432 search results - page 137 / 1287
» Classic Mechanism Design
Sort
View
107
Voted
SAC
2009
ACM
15 years 7 months ago
Matching ThisType to subtyping
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
Chieri Saito, Atsushi Igarashi
COMPSAC
2008
IEEE
15 years 7 months ago
Error Modeling in Dependable Component-Based Systems
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobr...
126
Voted
SASO
2008
IEEE
15 years 7 months ago
Bioinspired Environmental Coordination in Spatial Computing Systems
—Spatial computing systems are characterized by the extended physical environment in which they exist and function. Often this environment can be manipulated in various ways by t...
Justin Werfel, Yaneer Bar-Yam, Donald E. Ingber
118
Voted
SEUS
2008
IEEE
15 years 7 months ago
Delay-Aware Mobile Transactions
In the expanding e-society, mobile embedded systems are increasingly used to support transactions such as for banking, stock or database applications. Such systems entail a range o...
Brahim Ayari, Abdelmajid Khelil, Neeraj Suri
100
Voted
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 7 months ago
Feedback linearization and simultaneous stiffness-position control of robots with antagonistic actuated joints
— In this paper, the dynamic model of a robot with antagonistic actuated joints is presented, and the problem of full linearization via static state feedback is analyzed. The use...
Gianluca Palli, Claudio Melchiorri, Thomas Wimb&ou...