Search Sciweavers | Sciweavers

4737 search results - page 154 / 948

» The LOGIC negotiation model

click to vote

CCS
2008
ACM

146views Security Privacy» more CCS 2008»

EON: modeling and analyzing dynamic access control systems with logic programs

13 years 11 months ago

Download www.cs.umd.edu

We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani...

claim paper

Read More »

click to vote

SBCCI
2003
ACM

135views VLSI» more SBCCI 2003»

Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic

14 years 2 months ago

Download www.mat.unb.br

The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...

Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...

claim paper

Read More »

click to vote

ASP
2001
Springer

160views Automated Reasoning» more ASP 2001»

Effect of knowledge representation on model based planning: experiments using logic programming encodings

14 years 29 days ago

Download www.aaai.org

In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...

Le-Chi Tuan, Chitta Baral

claim paper

Read More »

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

14 years 10 months ago