Arama Sonuçları - programs validation https function evolution https

1

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution...”
Tam Metin Erişim

Elektronik Ekitap

2

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Delay Analysis of Switched Ethernet -- Analyzing End-to-End Functional Delays on an IMA Platform...”
Tam Metin Erişim

Elektronik Ekitap

3

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

4

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”
Tam Metin Erişim

Elektronik Ekitap

5

Genetic Programming Theory and Practice XI

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Programming System for Solving Problems Requiring Big Data -- Grounded Simulation: Using Simulated Evolution...”
Tam Metin Erişim

Elektronik Ekitap

6

Genetic Programming Theory and Practice X

Baskı/Yayın Bilgisi 2013

İçindekiler: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
Tam Metin Erişim

Elektronik Ekitap

7

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

8

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Tam Metin Erişim

Elektronik Ekitap

9

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... and Validation – MoDeVa -- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models...”
Tam Metin Erişim

Elektronik Ekitap

10

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... to Dynamic Systems Co-evolution -- What’s in a Service? -- Full Research Papers -- Pattern-Based Evolution...”
Tam Metin Erişim

Elektronik Ekitap

11

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Properties from Knowledge Based Programs -- Detecting Code Evolution in Programming Learning -- Revising...”
Tam Metin Erişim

Elektronik Ekitap

12

Comparative Genomics International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Retrotransposition and Segmental Duplication Events during Mammalian Evolution -- Discovering Local Patterns of Co...”
Tam Metin Erişim

Elektronik Ekitap

13

Economic Modeling Using Artificial Intelligence Methods

Yazar: Marwala, Tshilidzi., Marwala, Tshilidzi.
Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Multi-Agent Approaches to Economic Modeling: Game Theory, Ensembles, Evolution and the Stock Market...”
Tam Metin Erişim

Elektronik Ekitap

14

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
Tam Metin Erişim

Elektronik Ekitap

15

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
Tam Metin Erişim

Elektronik Ekitap

16

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of Software Evolution -- Using PSU for Early Prediction of COSMIC Size of Functional and Non-functional...”
Tam Metin Erişim

Elektronik Ekitap

17

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”
Tam Metin Erişim

Elektronik Ekitap

18

Knowledge Engineering: Practice and Patterns 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Ontology Evolution / Refinement -- Using Semantic Web Resources for Data Quality Management -- Using...”
Tam Metin Erişim

Elektronik Ekitap

19

Enterprise Information Systems V

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Papers -- Evolution of Enterprise Information Systems in the Internet Era -- Managing...”
Tam Metin Erişim

Elektronik Ekitap

20

Proceedings of the 1989 Academy of Marketing Science (AMS) Annual Conference

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- The Interplay between Consumption and Politics in the Polish Economy -- The Mauiladora Program -- The U.S...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt