11603 search results - page 142 / 2321 » Securing Embedded Systems |
114
click to vote
ICECCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
115
Voted
SEUS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
108
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
110
click to vote
ACSC
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital co...