1098 search results - page 185 / 220 » System safety as an emergent property in composite systems |
ICCAD
2008
IEEE
14 years 5 months ago
2008
IEEE
—Hardware Intellectual Property (IP) cores have emerged as an integral part of modern System–on–Chip (SoC) designs. However, IP vendors are facing major challenges to protect...
ACAL
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents in-formation flocking, a novel information visualization technique that extends the original information flocking concept with dynamic and data-driven visual fo...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
ACRI
2006
Springer
14 years 2 months ago
2006
Springer
We present a cellular-automaton model of a reaction-diffusion excitable system with concentration dependent inhibition of the activator, and study the dynamics of mobile localiza...
GI
2009
Springer
14 years 1 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...