2357 search results - page 164 / 472 » Computing Refactorings of Behavior Models |
149
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
116
click to vote
IJCAI
2007
15 years 6 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
135
click to vote
SCL
2010
14 years 11 months ago
2010
A class of binary decision-making tasks called the two-alternative forced-choice task has been used extensively in psychology and behavioral economics experiments to investigate h...
132
click to vote
ANSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...
137
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...