686 search results - page 83 / 138 » Foundations for Bidirectional Programming |
162
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
ESSOS
2010
Springer
15 years 6 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
1 In the competitive electricity structure, demand response programs enable customers to react dynamically to changes in electricity prices. The implementation of such programs ma...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
SIGCSE
2010
ACM
15 years 3 months ago
2010
ACM
While the discipline of computing has evolved significantly in the past 30 years, Computer Science curricula have not as readily adapted to these changes. In response, we have rec...