Search Results - program ((python programs) OR (action programs)) composition array https~

Search alternatives:
composition array » composition art , composition animal , composition attack
action programs » activity programs
python programs » python program , method programs , motion programs
https » http

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

Published 2010

Table of Contents: “... -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “...-Specific Modelling Languages -- Data Flow Analysis of UML Action Semantics for Executable Models -- From...”
View full text

Electronic eBook

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Published 2015

Table of Contents: “...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”
View full text

Electronic eBook

Narrow Search