251 search results - page 31 / 51 » A Formal Approach to Test the Robustness of Embedded Systems... |
ISSRE
2000
IEEE
13 years 11 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
ISSTA
2004
ACM
14 years 24 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
SEKE
2005
Springer
14 years 26 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
ESANN
2008
13 years 8 months ago
2008
Our goal is proposing an unbiased framework for gene expression analysis based on variable selection combined with a significance assessment step. We start by discussing the need ...
CMSB
2007
Springer
14 years 1 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...