3420 search results - page 619 / 684 » A Language-Based Approach to Security |
128
click to vote
DATE
2004
IEEE
15 years 6 months 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...
135
click to vote
CHES
2006
Springer
15 years 6 months 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...
137
click to vote
EUSAI
2004
Springer
15 years 6 months 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...
136
click to vote
CMSB
2006
Springer
15 years 6 months 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...
134
click to vote
COLT
2006
Springer
15 years 6 months 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...