1463 search results - page 171 / 293 » Model Checking Implicit-Invocation Systems |
154
click to vote
WOA
2010
14 years 11 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
102
click to vote
HVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
132
click to vote
FIDJI
2003
Springer
15 years 6 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
93
Voted
ENTCS
2007
15 years 1 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
120
click to vote
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...