8196 search results - page 331 / 1640 » Computational Modeling and Complexity Science |
143
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
264
click to vote
TOG
2012
13 years 9 months ago
2012
We present a motion synthesis framework capable of producing a wide variety of important human behaviors that have rarely been studied, including getting up from the ground, crawl...
178
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—With the growth in the past few years of social tagging services like Delicious and CiteULike, there is growing interest in modeling and mining these social systems for deriving...
188
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
171
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...