6167 search results - page 174 / 1234 » Can Refinement be Automated |
129
click to vote
GI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract: In this paper we present an entropy based method to analyze complex systems. Systems are treated as black boxes, which only expose information by some specified paramete...
104
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The role of T-cells within the immune system is to confirm and assess anomalous situations and then either respond to or tolerate the source of the effect. To illustrate how these ...
127
click to vote
ENTCS
2007
15 years 4 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
136
click to vote
NC
2006
15 years 4 months ago
2006
Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
121
click to vote
CMPB
2000
15 years 4 months ago
2000
A program for action potential waveform analysis based on a PC compatible computer is described. Single or averaged action potentials are analyzed by obtaining its first derivativ...