1
Publié 2008
Table des matières: ... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...
Accéder au texte intégral
Électronique eBook
2
Publié 2006
Table des matières: ... Proposal for a Gene Functions Wiki -- Using Semantic Web Tools to Integrate Experimental Measurement Data...
Accéder au texte intégral
Électronique eBook
3
Publié 2006
Table des matières: ... of Labor: Tools for Growing and Scaling Grids -- DECO: Data Replication and Execution CO-scheduling...
Accéder au texte intégral
Électronique eBook