5639 search results - page 414 / 1128 » Timed Abstract Non-interference |
161
click to vote
SDMW
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A new simple and efficient database encryption scheme is presented. The new scheme enables encrypting the entire content of the database without changing its structure. I...
163
click to vote
VOSS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
177
click to vote
WABI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present a more efficient algorithm for comparison of minisatellites which has complexity O(n 3 + m 3 + mn 2 + nm 2 + mn) where n and m are the lengths of...
181
click to vote
WIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Hopcroft’s algorithm for minimizing a deterministic automaton has complexity O(n log n). We show that this complexity bound is tight. More precisely, we provide a famil...
155
click to vote
WLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...