Sciweavers

31387 search results - page 212 / 6278
» Abstracting abstract machines
Sort
View
SDMW
2004
Springer
15 years 12 months ago
Abstracting and Refining Authorization in SQL
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
SPIN
2004
Springer
15 years 12 months ago
Using Fairness to Make Abstractions Work
Dragan Bosnacki, Natalia Ioustinova, Natalia Sidor...
TACAS
2004
Springer
62views Algorithms» more  TACAS 2004»
15 years 12 months ago
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata
Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...