[ Preface ]
OrganizationTable of Contents
Contents
Preface & Organization How to Distribute LTL Model-Checking Using Decomposition of Negative Claim AutomatonJiri Barnat
Learning Restarting Automata byGenetic AlgorithmsPetr Hoffmann
Information Quantities and Possibility MeasuresTomas Kroupa
Oraculum, a System for Complex Linguistic QueriesVladimir Ljubopytnov, Petr Nemec, Michaela Pilatova, Jakub Reschke, and Jan Stuchl
PreDiaG: A Tool for the Generation of Predicate DiagramsCecilia E. Nugraheni
OBDD in Symbolic Model CheckingVojtech Rehak
SGCCS: A Graphical Language for Real-Time Systems - BEST PAPER AWARDDavid Safranek
Limited Assignment Number Search AlgorithmKamil Vermirovsky and Hana Rudova
An Intelligent Firewall to Detect Novel AttacksInSeon Yoo and Ulrich Ultes-Nitsche
Best paper was awarded by Czechoslovak Chapter of the IEEE Computer Society.