Sciweavers

15644 search results - page 101 / 3129
» Brittle System Analysis
Sort
View
ESORICS
2006
Springer
15 years 10 months ago
Timing-Sensitive Information Flow Analysis for Synchronous Systems
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
Boris Köpf, David A. Basin
FTDCS
1997
IEEE
15 years 9 months ago
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis
This paper deals with the problem of scheduling aperiodic groups of tasks in distributed systems. It proposes two contributions, namely: i) a distributed scheduling algorithm to b...
Paolo Bizzarri, Andrea Bondavalli, Felicita Di Gia...
COLING
1990
15 years 7 months ago
An Integrated System For Morphological Analysis Of The Slovene Language
: The paper presents an integrated environment for morphological analysis of word-forms of the Slovene language. The system consists of a lexicon input and maintenance module, a le...
Tomaz Erjavec, Peter Tancig
ENTCS
2008
152views more  ENTCS 2008»
15 years 6 months ago
Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
Barbara König, Vitali Kozioura
INFORMATICALT
2000
85views more  INFORMATICALT 2000»
15 years 6 months ago
Sensitivity Analysis of Multivariable Systems in State Space
This paper contains measures to describe the matrix impulse response sensitivity of state space multivariable systems with respect to parameter perturbations.The parameter sensitiv...
Kazys Kazlauskas