1638 search results - page 208 / 328 » Properties of input-consuming derivations |
162
click to vote
EUROPKI
2007
Springer
16 years 20 days ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...
145
click to vote
ICA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper derives a new algorithm that performs independent component analysis (ICA) by optimizing the contrast function of the RADICAL algorithm. The core idea of the p...
193
click to vote
IWIA
2006
IEEE
16 years 15 days ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
143
click to vote
SAINT
2005
IEEE
16 years 2 days ago
2005
IEEE
Stochastic bounds are a promising method to analyze QoS requirements. Indeed it is sufficient to prove that a bound of the real performance satisfies the guarantee. However, the...
144
click to vote
CONCUR
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...