1022 search results - page 169 / 205 » The Modelling of Embedded Systems Using HASoC |
137
click to vote
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
116
click to vote
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
The Time-Triggered Architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed embedded systems. A large real-time applicatio...
123
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
138
click to vote
IEEEHPCS
2010
14 years 9 months ago
2010
Network Multimedia data also need to be encrypted to protect private content and access control. Considering performance constraints and embedded system issues, many hardware solu...
110
click to vote
DGO
2007
15 years 3 months ago
2007
Enhanced information sharing among criminal justice agencies is a critical concern and a goal of much IT investment. Understanding agencies’ capabilities to achieve this goal is...