1090 search results - page 19 / 218 » Case Study: Componentization of an Industrial Control System |
EUROS
2008
15 years 1 months ago
2008
Abstract. Robustness is pivot for robots operating in all-terrain environments. This demand comes mainly due to the highly heterogeneous and unstructured nature of the terrain. Two...
100
click to vote
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
127
click to vote
IQ
2007
15 years 1 months ago
2007
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...
115
click to vote
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
108
click to vote
SCS
2004
15 years 1 months ago
2004
The HEAT/ACT project consists of replacing the conventional mechanical flight control system of a helicopter with a fly-by-wire system. With such a project, the safety concerns ar...