2838 search results - page 260 / 568 » Verifying Controlled Components |
91
Voted
AR
2005
15 years 1 months ago
2005
Whether they are asked to polish or assemble parts, clean the house or open doors, the future generation of robots will have to cope with contact tasks under uncertainty in a stabl...
83
Voted
IJISEC
2002
15 years 25 days ago
2002
Remote service invocation via HTTP and XML promises to become an important component of the Internet infrastructure. Work is ongoing in the W3C XML Protocol Working Group to define...
128
Voted
ISSRE
2010
IEEE
14 years 11 months ago
2010
IEEE
—In software development, every change induces a risk. What happens if code changes again and again in some period of time? In an empirical study on Windows Vista, we found that ...
99
Voted
SMC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents the design and architecture of an integrated environment that provides location independent and mobile access to Intelligent Domotic Environments. The envision...
127
Voted
SAB
2010
Springer
14 years 11 months ago
2010
Springer
The cerebellum plays a major role in motor control. It is thought to mediate the acquisition of forward and inverse internal models of the bodyenvironment interaction [1]. In this ...