4386 search results - page 155 / 878 » A Tamper-Resistant Programming Language System |
122
Voted
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
139
click to vote
TON
2012
13 years 4 months ago
2012
—While many attacks are distributed across botnets, investigators and network operators have recently identified malicious networks through high profile autonomous system (AS) ...
138
click to vote
ICDCS
2002
IEEE
15 years 6 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
128
click to vote
ENTCS
2008
15 years 1 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
141
click to vote
ICPADS
1996
IEEE
15 years 5 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...