530 search results - page 57 / 106 » Security Analysis of Open Building Automation Systems |
101
click to vote
SAFECOMP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
LATIN
2010
Springer
15 years 4 months ago
2010
Springer
Topological self-stabilization is an important concept to build robust open distributed systems (such as peer-to-peer systems) where nodes can organize themselves into meaningful n...
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Social networking services well know that some users are unwilling to freely share the information they store with the service (e.g. profile information). To address this, servic...
SAFECOMP
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number ...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we1 study new organizational forms for production processes that emerge in large scale Free/Libre Open Source Software (FLOSS) projects. We will focus on the textua...