11168 search results - page 2190 / 2234 » Abstract State Processes |
109
Voted
ICLP
1992
Springer
15 years 6 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
164
Voted
SAS
1992
Springer
15 years 6 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
163
Voted
POPL
1989
ACM
15 years 6 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
134
click to vote
DEXA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. To achieve acceptable query response times in data warehouse environments, the data have to be pre-aggregated according to the need of the applications and stored redunda...
110
Voted
ACSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract--Current Network Access Control (NAC) technologies manage the access of new devices into a network to prevent rogue devices from attacking network hosts or services. Typic...