Sciweavers

7380 search results - page 18 / 1476
» Engineering Software Intensive Systems
Sort
View
CISIS
2009
IEEE
14 years 2 months ago
A Game Community Support System
Toshihiko Wakahara, Yuusuke Chikushi
FASE
2009
Springer
14 years 2 months ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
EMSOFT
2009
Springer
14 years 2 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
EMSOFT
2009
Springer
14 years 2 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis