Sciweavers

15253 search results - page 41 / 3051
» Integer-Programming Software Systems
Sort
View
FASE
2010
Springer
15 years 4 months ago
Stochastic Simulation of Graph Transformation Systems
Paolo Torrini, Reiko Heckel, István R&aacut...
CISIS
2009
IEEE
15 years 4 months ago
A Game Community Support System
Toshihiko Wakahara, Yuusuke Chikushi
FASE
2009
Springer
15 years 4 months ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
EMSOFT
2009
Springer
15 years 4 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...