1336 search results - page 169 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
132
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
135
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: We establish that the occurrence of protein folds among genomes can be accurately described with a Weibull function. Systems which exhibit Weibull character can be int...
133
Voted
ENTCS
2002
15 years 3 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
102
Voted
IJON
2006
15 years 3 months ago
2006
Stochastic resonance (SR) is fundamental to physical and biological processes. Here, we use a stochastic gain-tuning model to investigate interactions between aging-related increa...
165
click to vote
AIA
2006
15 years 5 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...