3555 search results - page 263 / 711 » Security-Critical System Development with Extended Use Cases |
181
click to vote
IAJIT
2008
15 years 6 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
143
click to vote
CANS
2009
Springer
16 years 22 days ago
2009
Springer
We propose an efficient blind certification protocol with interesting properties. It falls in the Groth-Sahai framework for witness-indistinguishable proofs, thus extended to a ce...
165
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Wireless networked control systems have begun to gain acceptance during the last decade, largely due to the increased flexibility and lower costs they promise to provi...
160
click to vote
AUSAI
2009
Springer
16 years 22 days ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
141
click to vote
FMSB
2008
15 years 7 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...