1
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... -- Reasoning with Vague Probability Assessments -- Soft Methods in Earth Systems Engineering -- Statistical...
View full text
Electronic eBook
4
Table of Contents: ... -- Configuration Management interface -- Metrics and Analysis -- Risk Management interface -- Test Management...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...
View full text
Electronic eBook
8
Table of Contents: ... Introduction -- 2 Basic Transducer Interfacing Concepts -- Part II Circuits and Functional Blocks -- 3 Low...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... for Dogs Barking Using of Transfer Function Method -- On the Use of Regularized DVC to Analyze Strain...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... Flows -- 5.3 Interface test -- 5.4 Bubble explosion under water test -- 6 Conclusion -- References...
View full text
Electronic eBook
11
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
12
Published 2013
Table of Contents: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ...Safety Norms and Regulations in Handling Fungal Specimens -- Methods of Cryopreservation in Fungi...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ..., Integrity Monitoring and Estimation of Signal Quality -- Testing of Reconfigurable Systems: A Cognitive...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ...Cognitive Aspects of Display and Information Design -- The Development of a Method to Assess...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Using a Bio-signal Interface and Preliminary Usability Test -- Unifying Conceptual and Spatial...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Approach for User Interface Adaptation to the Context of Use -- Desktop-to-Mobile Web Adaptation through...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...Constraints Dependent T-Way Test Suite Generation Using Harmony Search Strategy -- Evaluating...
View full text
Electronic eBook