Sciweavers

4029 search results - page 44 / 806
» Reconfigurable Systems in Education
Sort
View
CORR
2010
Springer
37views Education» more  CORR 2010»
13 years 6 months ago
Spin systems dynamics and faults detection in threshold networks
Steve Kirkland, Simone Severini
CORR
2010
Springer
68views Education» more  CORR 2010»
13 years 6 months ago
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de ...
CORR
2010
Springer
48views Education» more  CORR 2010»
13 years 5 months ago
E-Net Models of a Software System for E-Mail Security
Nikolai Todorov Stoianov, Veselin Tsenov Tselkov
CORR
2011
Springer
149views Education» more  CORR 2011»
13 years 3 months ago
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
Christian von Essen, Barbara Jobstmann