3814 search results - page 343 / 763 » YAPI: application modeling for signal processing systems |
196
click to vote
PRDC
2005
IEEE
16 years 11 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
159
click to vote
JCS
2002
15 years 6 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
181
click to vote
QOSA
2007
Springer
16 years 27 days ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
179
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
189
click to vote
IC
2007
15 years 8 months ago
2007
—With the advent of the Internet, we have entered the age of ubiquitous systems that will need to be able to communicate, establish criteria for measurement and then perform thes...