7766 search results - page 142 / 1554 » Testing Nondeterminate Systems |
SOFSEM
2010
Springer
14 years 6 months 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...
IEEEARES
2009
IEEE
14 years 4 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...
AGILEDC
2007
IEEE
14 years 3 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...
DFT
2005
IEEE
14 years 2 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...
ICST
2009
IEEE
13 years 7 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...