Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program validation » programs validation, program vilidation, program evaluation
function function » function functional, functions functional, function dysfunction
validation https » evaluation https, animation https, visualization https
https function » its function, sites function, ups function
function https » functions https, fiction https
program validation » programs validation, program vilidation, program evaluation
function function » function functional, functions functional, function dysfunction
validation https » evaluation https, animation https, visualization https
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
2
by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005
Table of Contents:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Published 2005
View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Delay Analysis of Switched Ethernet -- Analyzing End-to-End Functional Delays on an IMA Platform...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
7
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
8
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”View full text
Electronic
eBook
19
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook