224 search results - page 3 / 45 » An Information Flow Verifier for Small Embedded Systems |
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...
PPPJ
2009
ACM
14 years 5 days ago
2009
ACM
The usage of cellular phones, PDAs, and other mobile devices has increased dramatically over the past ten years. Java is targeted to be one of the most popular execution environme...
BILDMED
2008
13 years 9 months ago
2008
The exact knowledge of the blood vessel geometry plays an important role, not only in clinical applications (stroke diagnosis, detection of stenosis), but also for detailed analysi...
ETRICS
2006
13 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...