Sciweavers

321 search results - page 13 / 65
» What characterizes a (software) component
Sort
View
FOSSACS
2009
Springer
14 years 4 months ago
Synthesis from Component Libraries
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
Yoad Lustig, Moshe Y. Vardi
CGI
2000
IEEE
14 years 2 months ago
To Gesture or Not to Gesture: What is the Question?
Computer synthesized characters are expected to make appropriate face, limb, and body gestures during communicative acts. We focus on non-facial movements and try to elucidate wha...
Norman I. Badler, Monica Costa, Liwei Zhao, Diane ...
ETFA
2008
IEEE
14 years 4 months ago
Challenges in the development of Mechatronic systems: The Mechatronic Component
— There is a need to replace existing mechanical and electromechanical systems with new ones, where functionality will be mainly implemented by software. The traditional approach...
Kleanthis Thramboulidis
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
14 years 4 months ago
Characterization of Protein based Spring-like Elastic Joints for Biorobotic Applications
—This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) for characterization of molecular elastic joints for bio nanorobotic prototyping. Simp...
Mustapha Hamdi, Gaurav Sharma, Antoine Ferreira, C...
EMSOFT
2001
Springer
14 years 2 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger