7766 search results - page 142 / 1554 » Testing Nondeterminate Systems |
141
click to vote
SOFSEM
2010
Springer
16 years 15 days ago
2010
Springer
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
148
Voted
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
—The security assessment of the ICT components of critical infrastructures is nowadays a prominent problem. Risk assessment methodologies require, in order to be effective, to be...
123
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...
110
Voted
DFT
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a novel system-level error tolerance approach specifically targeted for multimedia compression algorithms. In particular we focus on the motion estimation process perf...
147
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...