Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
generation computing » generation computer, generation computers, education computing
validating method » validation methods, locating method, estimating method
method case » methods case, method based
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
generation computing » generation computer, generation computers, education computing
validating method » validation methods, locating method, estimating method
method case » methods case, method based
1
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”View full text
Electronic
eBook
3
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
4
Published 2015
Table of Contents:
“... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Network Solutions -- Sensor Cloud: The Scalable Architecture for Future Generation Computing -- Partial...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...-Curves Whose MLPs Cannot Have Vertices at Grid Points -- Computation of Homology Groups and Generators...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Inference Systems as Integration Methods in Modular Neural Networks for Multimodal Biometry and Its...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- An Extension of Rough Approximation Quality to Fuzzy Classification -- Fuzzy Rules Generation Method...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Generating Specialized Rules and Programs for Demand-Driven Analysis -- Non Expansive ?-Bisimulations -- A...”View full text
Electronic
eBook
15
Table of Contents:
“...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Ontologies from Text: A Use Case in Automatic Indexing of Biotechnology Patents -- ReBEC: A Method...”View full text
Electronic
eBook