Search Sciweavers | Sciweavers

42

PADL
2009
Springer

126views Programming Languages» more PADL 2009»

Toward a Practical Module System for ACL2

14 years 6 months ago

Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

19

click to vote

ICCSA
2009
Springer

153views Applied Computing» more ICCSA 2009»

MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT

14 years 2 days ago

Download www.lsi.us.es

Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...

Sergio Pozo, A. J. Varela-Vaca, Rafael M. Gasca

claim paper

Read More »

10

click to vote

ACL
2009

117views Computational Linguistics» more ACL 2009»

Heterogeneous Transfer Learning for Image Clustering via the SocialWeb

13 years 3 months ago