Sciweavers

Share ➚
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CCS
2008
ACM
146views Security Privacy» more  CCS 2008»
EON: modeling and analyzing dynamic access control systems with logic programs
12 years 5 months ago
EON: modeling and analyzing dynamic access control systems with logic programs
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 »
FSTTCS
2000
Springer
102views Software Engineering» more  FSTTCS 2000»
Dynamically Ordered Probabilistic Choice Logic Programming
12 years 7 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
Download  www.cs.bath.ac.uk
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
claim paper
Read More »
Explore & Download
Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
Productivity Tools
International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
Document Tools
PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
Image Tools
JPG to PS JPG to PDF Extract Images from PDF Image Converter
Sciweavers
About Community Report Bug Request Feature Cookies Privacy Policy Terms of Use Contact

Copyright © 2009-2011 Sciweavers LLC. All rights reserved.

books