Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation process » oxidation process
process case » processes case, processing case, process cheese
programming validation » programming validating, programming evaluation, programming animation
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
validation process » oxidation process
process case » processes case, processing case, process cheese
1
Published 2008
Table of Contents:
“... Tutorial) -- Abstract Interpretation with Applications to Timing Validation -- Session 1: Concurrency...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Aggregation in Wireless Sensor Networks -- The Complex Network Analysis of Power Grid: A Case Study...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”View full text
Electronic
eBook
9
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
10
Published 2005
Table of Contents:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... with Different Species -- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions -- Some...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... for Requirements Engineering in System Family Context for Software Process Improvement Using CMMI -- Functional...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”View full text
Electronic
eBook
19
by Houshyar, Afsaneh Nouri
Published 2014
Subjects:
“...Machine parts - Computer program...”Published 2014
View full text
Thesis
20
Published 2005
Table of Contents:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”View full text
Electronic
eBook