SAFECOMP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
ICOST
2007
Springer
14 years 5 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
— Safety is a critical success factor for consumer acceptance of domestic robotic products. Some researchers have adopted the Head Injury Criterion (HIC) as absolute safety norm....
ICARCV
2008
IEEE
14 years 5 months ago
2008
IEEE
—Safety is an important issue of driverless car. Yet, most current approaches fail to ensure safety even in a fully informed situation. In this paper we discuss how the safety cr...
ETFA
2008
IEEE
14 years 6 months ago
2008
IEEE
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
CSFW
2008
IEEE
14 years 6 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...