2257 search results - page 156 / 452 » Secure program partitioning |
106
click to vote
CORR
2000
Springer
15 years 2 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
129
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
105
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Genetic Programming (GP) based Intrusion Detection Systems (IDS) use connection state network data during their training phase. These connection states are recorded as a set of fe...
118
click to vote
MP
2010
14 years 9 months ago
2010
Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minima...
118
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
We identify three design principles for reflection and metaprogramming facilities in object oriented programming languages. Encapsulation: meta-level facilities must encapsulate t...