321 search results - page 10 / 65 » Testing protocols modeled as FSMs with timing parameters |
98
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine th...
91
Voted
ASIACRYPT
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The problem of proving a number is of a given arithmetic format with some prime elements, is raised in RSA undeniable signature, group signature and many other cryptograp...
AAAI
2007
15 years 2 months ago
2007
In multi-agent systems, agents need to share information in order to make good decisions. Who does what in order to achieve this matters a lot. The assignment of responsibility in...
123
Voted
FM
2009
Springer
15 years 5 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
89
Voted
BMCBI
2005
15 years 9 days ago
2005
Background: Generalized hidden Markov models (GHMMs) appear to be approaching acceptance as a de facto standard for state-of-the-art ab initio gene finding, as evidenced by the re...