3420 search results - page 619 / 684 » A Language-Based Approach to Security |
DATE
2004
IEEE
14 years 19 days ago
2004
IEEE
Embedded software is becoming more flexible and adaptable, which presents new challenges for management of highly constrained system resources. Software dynamic translation is a t...
CHES
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. Many Field-Programmable Gate Array (FPGA) based systems utilize third-party intellectual property (IP) in their development. When they are deployed in non-networked envir...
EUSAI
2004
Springer
14 years 19 days ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
CMSB
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
COLT
2006
Springer
14 years 19 days ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...