928 search results - page 10 / 186 » Safety management of complex technology |
ISARCS
2010
13 years 11 months ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
SAMOS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper an agri-food traceability system based on public key cryptography and Radio Frequency Identification (RFID) technology is proposed. In order to guarantee safety in f...
SAS
2010
Springer
13 years 6 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
DOA
2000
13 years 9 months ago
2000
In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of network...