7892 search results - page 201 / 1579 » Programming with Models |
TCC
2009
Springer
16 years 2 months ago
2009
Springer
Existing definitions of program obfuscation do not rule out malleability attacks, where an adversary that sees an obfuscated program is able to generate another (potentially obfus...
148
click to vote
ENTCS
2007
15 years 1 months ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
114
click to vote
NGC
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
102
click to vote
HIPEAC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...
JAPLL
2006
15 years 1 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...