Search Sciweavers | Sciweavers

9507 search results - page 200 / 1902

» Time-based language models

186

click to vote

CCS
2008
ACM

146views Security Privacy» more CCS 2008»

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

15 years 9 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 »

282

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 7 months ago

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

131

Voted

ER
2009
Springer

96views Database» more ER 2009»

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

16 years 1 months ago

Download www.inf.ufrgs.br

Richard Dapoigny, Patrick Barlatier

claim paper

Read More »

172

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

16 years 1 months ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

145

click to vote

IFIP
2007
Springer

73views Programming Languages» more IFIP 2007»

Formal Modeling and Analysis of the Modbus Protocol

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers