1922 search results - page 118 / 385 » ie 2007 |
116
click to vote
FAW
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we consider the recognition problem on a class of perfectly orderable graphs, namely, the HHD-free graphs, i.e., graphs that do not contain any induced subgraph iso...
93
Voted
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
105
Voted
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
89
Voted
FSE
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we propose a new block cipher, DESL (DES Lightweight), which is based on the classical DES (Data Encryption Standard) design, but unlike DES it uses a single S-box re...
84
Voted
GD
2007
Springer
15 years 6 months ago
2007
Springer
We propose a layout algorithm for micro/macro graphs, i.e. relational structures with two levels of detail. While the micro-level graph is given, the macro-level graph is induced b...