12981 search results - page 588 / 2597 » Model Checking (Abstract) |
150
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...
231
click to vote
ENTCS
2007
15 years 7 months ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...
161
click to vote
NECO
2008
15 years 7 months ago
2008
The functions of sleep have been an enduring mystery. Recently, Tononi and Cirelli hypothesized that one of the functions of slow-wave sleep is to scale down synapses in the corte...
221
click to vote
COMCOM
2002
15 years 7 months ago
2002
Recent security incidents and analysis have demonstrated that manual response to such attacks is no longer feasible. Intrusion Detection systems offer techniques for modelling and...
195
click to vote
ENTCS
2002
15 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...