224 search results - page 45 / 45 » An Information Flow Verifier for Small Embedded Systems |
MM
2004
ACM
13 years 11 months ago
2004
ACM
We consider the problem of learning a mapping function from low-level feature space to high-level semantic space. Under the assumption that the data lie on a submanifold embedded ...
EMSOFT
2004
Springer
13 years 11 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
WSNA
2003
ACM
13 years 10 months ago
2003
ACM
Many applications in ubiquitous computing rely on knowing where people and objects are relative to each other. By placing small wireless sensors on people, at specific locations, ...
ASAP
2010
IEEE
13 years 5 months ago
2010
IEEE
Many applications require protection of secret or sensitive information, from sensor nodes and embedded applications to large distributed systems. The confidentiality of data can b...