759 search results - page 64 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
96
Voted
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...
126
click to vote
BMCBI
2004
15 years 16 days ago
2004
Background: For the purposes of finding and aligning noncoding RNA gene- and cis-regulatory elements in multiple-genome datasets, it is useful to be able to derive multi-sequence ...
93
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
100
click to vote
ACSD
2003
IEEE
15 years 4 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
165
click to vote
CSCLP
2008
Springer
15 years 2 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...