Search Sciweavers | Sciweavers

This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....

Christian Haack, Marieke Huisman, Clément H...

claim paper

Read More »

104

click to vote

DAGSTUHL
2007

83views Software Engineering» more DAGSTUHL 2007»

A Method for Reasoning about other Agents' Beliefs from Observations

15 years 6 months ago

Download drops.dagstuhl.de

Alexander Nittka, Richard Booth

claim paper

Read More »

129

click to vote

OWLED
2008

111views Natural Language Processing» more OWLED 2008»

Using OWL DL Reasoning to Decide about authorization in RBAC

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers