Hakutulokset - program action programs composition array https~

Tarkoititko:
programs composition » program composition , programs competition , program recomposition
composition array » composition art , composition animal , composition attack
action programs » activity programs
program action » programs action , programme action , program section
https » http

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Julkaistu 2010

Sisällysluettelo: “... in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution...”
Hae kokoteksti

Elektroninen E-kirja

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua