3693 search results - page 280 / 739 » Splitting a Logic Program |
138
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
135
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
147
click to vote
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
151
click to vote
IFIP
1994
Springer
15 years 9 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
139
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Code injection attacks, despite being well researched, continue to be a problem today. Modern architectural solutions such as the NX-bit and PaX have been useful in limiting the a...