3256 search results - page 448 / 652 » Mixin-Based Programming in C |
203
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
128
click to vote
CADE
2002
Springer
16 years 29 days ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
90
Voted
ICSE
2005
IEEE-ACM
16 years 22 days ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
136
click to vote
ESORICS
2002
Springer
16 years 7 days ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
124
click to vote
PERCOM
2007
ACM
16 years 7 days ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...