1776 search results - page 221 / 356 » Using a Logic Programming Language with Persistence and Cont... |
164
Voted
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
149
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
126
Voted
AUIC
2000
IEEE
15 years 8 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
256
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
104
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...