Search Sciweavers | Sciweavers

31387 search results - page 178 / 6278

» Abstracts

149

click to vote

SDMW
2004
Springer

120views Security Privacy» more SDMW 2004»

Abstracting and Refining Authorization in SQL

15 years 12 months ago

Download www.cs.bc.edu

ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...

Arnon Rosenthal, Edward Sciore

claim paper

Read More »

138

click to vote

SPIN
2004
Springer

104views Theoretical Computer Science» more SPIN 2004»

Using Fairness to Make Abstractions Work

15 years 12 months ago

Download spinroot.com

Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...

claim paper

Read More »

114

click to vote

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

15 years 12 months ago

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »

131

click to vote

TACAS
2004
Springer

130views Algorithms» more TACAS 2004»

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases

15 years 12 months ago

Download www.sigda.org

Kairong Qian, Albert Nymeyer

claim paper

Read More »

140

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers