Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification processing » verification proceedings, verification process, verification processes
location verification » calculations verification
programmed control » programmers control, programming control, programs control
https » http
verification processing » verification proceedings, verification process, verification processes
location verification » calculations verification
programmed control » programmers control, programming control, programs control
https » http
1
Published 2005
Table of Contents:
“... and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Images -- Biomedical Applications -- Digital Signal Processing Techniques for Gene Finding in Eukaryotes...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... in Service Oriented Business Collaboration -- Yet Another Event-Driven Process Chain -- Comparing the Control...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...”? Applying formal verification methods and real-time rule-based systems to control systems and robotics...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Decision Support System for Airborne Animal Diseases -- 2.13 Development and Verification of TAPM -- 2.14...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Performance Evaluation of Controllers for a Thermal Process -- Design Considerations for Generalized...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Framework for Hierarchical Control and Monitoring of Complex Process Control Systems -- Agent Reasoning...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...-and-Conquer Algorithms for Preemptive Scheduling Problems with Controllable Processing Times – A Polymatroid...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Scalable Memory Access Tracer -- Process Algebra and Equivalences -- Probabilistic Programming Process...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... -- Natural Language Processing Methods Used for Automatic Prediction Mechanism of Related Phenomenon...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... in the Architecture -- Section 2 – Networking -- Fuzzy-Controlled Source-Initiated Multicasting (FSIM) in Ad Hoc...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... controls -- Security Protocols -- Using Interpolation for the Verification of Security Protocols -- RDAS: A...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Space -- Distributed k-NN Query Processing for Location Services -- Ontology Based Context Alignment...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Transport Layer Issues -- TCP Contention Control: A Cross Layer Approach to Improve TCP Performance...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... Annealing Algorithm -- Bi-level Programming Model and Taboo Search Algorithm in Industrial Location under...”View full text
Electronic
eBook