3516 search results - page 384 / 704 » Integrating Security Modeling into Embedded System Design |
127
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
117
click to vote
CCS
2009
ACM
16 years 5 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
158
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern embedded systems for image processing involve increasingly complex levels of functionality under real-time and resourcerelated constraints. As this complexity increases, th...
148
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
136
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...