3516 search results - page 393 / 704 » Integrating Security Modeling into Embedded System Design |
167
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
Existing real-time ORB middleware standards such as RT-CORBA do not adequately address the challenges of 1) providing robust performance guarantees portably across different platf...
165
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
112
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
144
click to vote
CEFP
2005
Springer
15 years 10 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
139
click to vote
DEXAW
2003
IEEE
15 years 10 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...