443 search results - page 33 / 89 » A System Development Process with Event-B and the Rodin Plat... |
ICSM
1999
IEEE
13 years 11 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
SERP
2008
13 years 9 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
ICALT
2008
IEEE
14 years 1 months ago
2008
IEEE
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...
AROBOTS
2004
13 years 7 months ago
2004
In this paper, we report some important results of design and evaluation of a wheelchair-based robotic arm system, named as KARES II (KAIST Rehabilitation Engineering Service Syste...