2796 search results - page 308 / 560 » A time structure based software reliability model |
147
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
144
click to vote
MEMBRANE
2009
Springer
15 years 11 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
121
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
137
Voted
CCE
2004
15 years 4 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
153
Voted
JCP
2008
15 years 4 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...