224 search results - page 17 / 45 » An Information Flow Verifier for Small Embedded Systems |
169
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
169
click to vote
HIPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper investigates the problem of autonomously allocating a large number of independent, equal sized tasks on a distributed heterogeneous grid-like platform, using o...
199
click to vote
CSREAESA
2006
15 years 7 months ago
2006
- In recent years, there has been a rapid and wide spread proliferation of non-traditional embedded computing platforms such as digital camcorders, cellular phones, and portable me...
160
click to vote
ACSC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
169
click to vote
DBSEC
2009
15 years 6 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...