Sciweavers

1701 search results - page 4 / 341
» Computer Science and State Machines
Sort
View
SC
2009
ACM
15 years 4 months ago
Robust workflows for science and engineering
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
David Abramson, Blair Bethwaite, Colin Enticott, S...
SOFSEM
2007
Springer
15 years 3 months ago
Model-Checking Large Finite-State Systems and Beyond
Lubos Brim, Mojmír Kretínský
CSR
2008
Springer
14 years 9 months ago
A survey of state vectors
Ward Douglas Maurer
SOFSEM
2009
Springer
15 years 6 months ago
Group Input Machine
Ruslans Tarasovs, Rusins Freivalds