4281 search results - page 113 / 857 » How to Disembed a Program |
119
click to vote
LISP
2008
15 years 2 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
122
Voted
ENTCS
2007
15 years 2 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
106
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
126
click to vote
CONCURRENCY
2000
15 years 2 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
110
click to vote
CSREASAM
2010
14 years 11 months ago
2010
Nowadays, Network Intrusion Detection Systems are quickly updated in order to prevent systems against new attacks. This situation has provoked that attackers focus their efforts on...