1148 search results - page 73 / 230 » Software engineering considered harmful |
115
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
122
click to vote
WCET
2010
15 years 1 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...
118
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
119
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
143
click to vote
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...