Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program generation » program execution
generation https » degeneration https, generation hts, generation helps
function changes » function change, functional changes, function charles
https function » its function, sites function, ups function
changes https » change https, change http, changes his
program generation » program execution
generation https » degeneration https, generation hts, generation helps
function changes » function change, functional changes, function charles
https function » its function, sites function, ups function
changes https » change https, change http, changes his
1
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... -- Do Changes in Movements after Tool Use Depend on Body Schema or Motor Learning? -- A Motion-Based...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Architecture of Web Server Cluster -- Change Detection in Ontology Versioning: A Bottom-Up Approach...”View full text
Electronic
eBook
5
Table of Contents:
“... Files -- Generating Thumbnail Images -- Pages That Remember: Simple Login and Multipage Forms -- Getting...”
View full text
View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Model -- MATURE: A Model Driven bAsed Tool to Automatically Generate a langUage That suppoRts CMMI...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Authorization System for Maintainability and Reusability of Components – A Case Study -- Odyssey-CCS: A Change...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Testing Methodologies -- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Analysis and Emergency Forecast .-Some Aspects of Impact in the Potential Climate Change on Ozone Pollution...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”View full text
Electronic
eBook