1528 search results - page 184 / 306 » Performance Assertion Checking |
DEON
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Norms are implemented by administrative procedures. This paper addresses the delegation of control in administrative procedures. Instead of having to check all details, a...
115
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...
133
click to vote
FOIKS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
100
click to vote
FPL
2008
Springer
15 years 4 months ago
2008
Springer
In the context of FPGAs, system downgrade consists in preventing the update of the hardware configuration or in replaying an old bitstream. The objective can be to preclude a syst...
101
click to vote
DLT
2008
15 years 3 months ago
2008
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...