2838 search results - page 390 / 568 » Verifying Controlled Components |
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper presents a development of multi-fingered hand, which is modularized and can be attached to life-size humanoid robots. The developed hand has four fingers with 17 joi...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
ICSM
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
IEEEARES
2007
IEEE
14 years 5 months ago
2007
IEEE
Service-oriented architectures (SOAs) are a commonly used paradigm for IT infrastructures in various fields. Due to their flexibility and the easy accessibility of their underly...
SASO
2007
IEEE
14 years 5 months ago
2007
IEEE
In current information systems, information is passive. People act upon it, either sending it to known destinations or pulling it from known sources. InformANTS makes information ...