8083 search results - page 40 / 1617 » A Formalization of Software Architecture |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
APSEC
2000
IEEE
14 years 18 hour ago
2000
IEEE
CBSE
2009
Springer
14 years 2 months ago
2009
Springer