224 search results - page 33 / 45 » An Information Flow Verifier for Small Embedded Systems |
DAC
2008
ACM
13 years 9 months ago
2008
ACM
Security of MPSoCs is an emerging area of concern in embedded systems. Security is jeopardized by code injection attacks, which are the most common types of software attacks. Prev...
VLDB
2007
ACM
14 years 1 months ago
2007
ACM
Imagine that you have been entrusted with private data, such as corporate product information, sensitive government information, or symptom and treatment information about hospita...
IJCAI
1993
13 years 8 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
ENTCS
2006
13 years 7 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
HASE
2002
IEEE
14 years 15 days ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...