819 search results - page 111 / 164 » Using Assumptions to Distribute CTL Model Checking |
108
Voted
CSREASAM
2006
15 years 2 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
108
click to vote
IPMI
2005
Springer
15 years 6 months ago
2005
Springer
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...
159
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...
DNA
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we report the design and synthesis of DNA molecules (referred to as DNA tiles) with specific binding interactions that guide self-assembly to make one-dimensional as...
112
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...