575 search results - page 76 / 115 » Formal Coverification of Embedded Systems Using Model Checki... |
121
Voted
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
173
Voted
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
115
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
116
click to vote
MODELLIERUNG
2004
15 years 3 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
145
Voted
TDSC
2011
14 years 9 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...