Sciweavers

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