3595 search results - page 92 / 719 » Roles of Program Extension |
130
click to vote
CN
2000
15 years 4 months ago
2000
Programming models that support code migration have gained prominence, mainly due to a widespread shift from stand-alone to distributed applications. Although appealing in terms o...
147
click to vote
IWINAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An Intrusion Detection System (IDS) is a program that analyzes what happens or has happened during an execution and tries to find indications that the computer has been ...
139
click to vote
AAAI
2008
15 years 6 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
147
click to vote
ICLP
1998
Springer
15 years 8 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
138
click to vote
ENTCS
2006
15 years 4 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...