Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program verification » formal verification
verification https » modification https, verification heap, verification attack
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
program verification » formal verification
verification https » modification https, verification heap, verification attack
evolution https » evaluation https, pollution https, emotion https
https function » its function, sites function, ups function
1
Published 2010
Table of Contents:
“... -- On the Role of Non-functional Properties in Compiler Verification....”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”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
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
7
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... of Real-Time and Embedded Systems -- Modular Verification of Safe Online-Reconfiguration for Proactive...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... oriented architectures, business processes, and cloud computing -- Design and verification methods...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... to Dynamic Systems Co-evolution -- What’s in a Service? -- Full Research Papers -- Pattern-Based Evolution...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Functions for Pleasant Music: Zipf’s Law and Interactive Evolution Systems -- Understanding Expressive Music...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Invited Talks -- Mathematical Theory Exploration -- Searching While Keeping a Trace: The Evolution...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Programs -- Using Graph Transformations and Graph Abstractions for Software Verification....”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... on the Grid -- Result Verification Mechanism Based on Availability and Reputation of Resources in P2P Desktop...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System -- Improved...”View full text
Electronic
eBook