Search Sciweavers | Sciweavers

662 search results - page 133 / 133

» Logic Programming with Ordered Disjunction

click to vote

DLOG
2010

162views Automated Reasoning» more DLOG 2010»

Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results

13 years 2 months ago

Download www.cs.uwaterloo.ca

In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...

Jocelyne Faddoul, Volker Haarslev

claim paper

Read More »

click to vote

SP
2010
IEEE

152views Security Privacy» more SP 2010»

Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size

13 years 2 months ago

Download www.cs.cmu.edu

The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...

Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...

claim paper

Read More »

« Prev « First page 133 / 133 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers