5639 search results - page 433 / 1128 » Timed Abstract Non-interference |
144
click to vote
TR
2008
15 years 4 months ago
2008
Abstract--This paper gives a reliability sampling plan for progressively type I interval censored life tests when the lifetime follows the exponential distribution. We use the maxi...
121
click to vote
ACTAC
2002
15 years 4 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
131
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
Abstract-- In an earlier paper [3], we addressed the problem of stabilization of the rolling sphere about any desired configuration. For the controller proposed in [3], we establis...
139
click to vote
CCR
2004
15 years 4 months ago
2004
Abstract-- This paper describes a system for automated generation of attack signatures for network intrusion detection systems. Our system applies pattern-matching techniques and p...
147
click to vote
COLING
2000
15 years 4 months ago
2000
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...