3516 search results - page 190 / 704 » Integrating Security Modeling into Embedded System Design |
124
Voted
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
152
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
117
Voted
ISPD
2007
ACM
15 years 5 months ago
2007
ACM
The existing temperature-aware clock embedding assumes a time-invariant temperature gradient. However, it is not solved how to find the worst-case temperature gradient leading to...
138
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we propose a new user authentication (UA) scheme based on one-time password (OTP) protocol using smart cards for home networks. The proposed scheme is to authenti...
142
click to vote
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
Peer-to-Peer (p2p), as an emerging technology, is exerting huge influence on various application scenarios. Meanwhile, agents, assisting applications in traditional paradigm with...