Search Results for Measurement.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings

Yazar

Fischbach, Kai. editor.

http://dx.doi.org/10.1007/978-3-319-05359-2

Format:

Electronic Resources

Alıntı:

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

Yazar

Seidl, Martina. editor.

http://dx.doi.org/10.1007/978-3-319-09099-3

Format:

Electronic Resources

Alıntı:

Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Yazar

Krivine, Jean. editor.

http://dx.doi.org/10.1007/978-3-319-20860-2

Format:

Electronic Resources

Alıntı:

in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant Representation of Quantum

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Yazar

Breugel, Franck van. editor.

http://dx.doi.org/10.1007/978-3-319-06880-0

Format:

Electronic Resources

Alıntı:

Perspective -- Optimal Coin Flipping -- Entanglement, Flow and Classical Simulatability in Measurement Based

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

Yazar

Ben Amor, Nahla. editor.

https://doi.org/10.1007/978-3-030-35514-2

Format:

Electronic Resources

Alıntı:

An Experimental Study on the Behaviour of Inconsistency Measures -- Inconsistency Measurement Using

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Yazar

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

https://doi.org/10.1007/978-3-319-74313-4

Format:

Electronic Resources

Alıntı:

An Architecture for Non-invasive Software Measurement -- A Human-in-the-loop Perspective for Safety

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings

Yazar

Shi, Zhongzhi. editor.

http://dx.doi.org/10.1007/978-3-662-44980-6

Format:

Electronic Resources

Alıntı:

Hierarchical K-means Clustering Algorithm without Iteration Based on Distance Measurement -- An Optimized Tag

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Yazar

Counsell, Steve. editor.

http://dx.doi.org/10.1007/978-3-319-05032-4

Format:

Electronic Resources

Alıntı:

communities and for the measurement and assessment of OSS quality.

	{displayName}	{count}
{error}