244 search results - page 15 / 49 » A Model of Components with Non-regular Protocols |
98
Voted
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
SOCIALCOM
2010
14 years 9 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
115
click to vote
ACSD
2006
IEEE
15 years 1 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
94
Voted
ECUMN
2007
Springer
15 years 1 months ago
2007
Springer
Since few years, several applications are proposed on mobile devices. However, these applications are not aware of their physical environment. The emergence of wireless sensors, a...