Search Sciweavers | Sciweavers

3573 search results - page 61 / 715

» Reasoning about Codata

113

click to vote

APLAS
2008
ACM

137views Programming Languages» more APLAS 2008»

Reasoning about Java's Reentrant Locks

15 years 5 months ago

Download www-sop.inria.fr

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 »

click to vote

DAGSTUHL
2007

83views Software Engineering» more DAGSTUHL 2007»

A Method for Reasoning about other Agents' Beliefs from Observations

15 years 4 months ago

Download drops.dagstuhl.de

Alexander Nittka, Richard Booth

claim paper

Read More »

116

click to vote

OWLED
2008

111views Natural Language Processing» more OWLED 2008»

Using OWL DL Reasoning to Decide about authorization in RBAC

15 years 4 months ago

Download www.webont.org

Martin Knechtel, Jan Hladik, Frithjof Dau

claim paper

Read More »

click to vote

PARCO
2007

81views Distributed And Parallel Com...» more PARCO 2007»

A Framework for Prototyping and Reasoning about Distributed Systems

15 years 4 months ago

Download www.fz-juelich.de

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

claim paper

Read More »

click to vote

AAAI
2004

81views Intelligent Agents» more AAAI 2004»

Scaling Up Reasoning about Actions Using Relational Database Technology

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers