Search Sciweavers | Sciweavers

3820 search results - page 52 / 764

» Bounded Model Debugging

click to vote

TACAS
2010
Springer

342views Algorithms» more TACAS 2010»

SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata

14 years 2 months ago

Download www.auresoft.com

We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...

Janusz Malinowski, Peter Niebert

claim paper

Read More »

click to vote

BMCBI
2008

67views more BMCBI 2008»

Modeling Escherichia coli signal peptidase complex with bound substrate: determinants in the mature peptide influencing signal p

13 years 7 months ago

Download www.biomedcentral.com

Background: Type I signal peptidases (SPases) are essential membrane-bound serine proteases responsible for the cleavage of signal peptides from proteins that are translocated acr...

Khar Heng Choo, Joo Chuan Tong, Shoba Ranganathan

claim paper

Read More »

click to vote

CRYPTO
2007
Springer

145views Cryptology» more CRYPTO 2007»

Secure Identification and QKD in the Bounded-Quantum-Storage Model

13 years 11 months ago

Download www.brics.dk

We consider the problem of secure identification: user U proves to server S that he knows an agreed (possibly low-entropy) password w, while giving away as little information on w ...

Ivan Damgård, Serge Fehr, Louis Salvail, Chr...

claim paper

Read More »

click to vote

DAC
2000
ACM

116views Computer Architecture» more DAC 2000»

Critical path analysis using a dynamically bounded delay model

14 years 8 months ago