Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: validity
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"004 - Data processing & computer science"
dewey-ones:"621 - Applied physics"
Showing
1
-
20
of
36
Search:
'validity'
,
query time: 0.42s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise : A selection of common capabilities validated in real-life business trials by the BEinGRID consorti...
Published 2010
Springer Berlin Heidelberg
“
... and were
validated
by the BEinGRID consortium in real-life business trials covering most European market...
”
Read Now
2
Disinformation in Open Online Media : 4th Multidisciplinary International Symposium, MISDOOM 2022, Boise, ID, USA, October 11–12, 2022, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... in Pakistan -- Investigating the
Validity
of Botometer-based Social Bot Studies -- New Automation for Social...
”
Read Now
3
Efficient Test Methodologies for High-Speed Serial Links
by
Hong, Dongwoo
,
Cheng, Kwang-Ting
Published 2010
Springer Netherlands
“
... as experimental results are presented to demonstrate the
validity
of the presented techniques...
”
Read Now
4
Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
...Increasing Trust in Data-Driven Model
Validation
- A Framework for Probabilistic Augmentation...
”
Read Now
5
Emerging Information Security and Applications : Third International Conference, EISA 2022, Wuhan, China, October 29–30, 2022, Proceedings
Published 2022
Springer Nature Switzerland
Table of Contents:
“
... -- Differential Cryptanalysis of Lightweight Block Ciphers SLIM and LCB -- Parallel
Validity
Analysis...
”
Read Now
6
SDL 2005: Model Driven : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Language for System Architecture Description -- Test and
Validation
-- UCM-Driven Testing of Web...
”
Read Now
7
Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... the Reactive Event Calculus -- RESTful Petri Net Execution --
Validation
and Discovery of Non-deterministic...
”
Read Now
8
Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Organizations for Dependable Systems -- Verification and
Validation
-- Empirical Assessment of Software On-Line...
”
Read Now
9
Advanced Information Systems Engineering : 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... 6: Case Studies and Experiences --
Validity
of the Documentation Availability Model: Experimental...
”
Read Now
10
Managing Software Quality : A Measurement Framework for Assessment and Prediction
by
Nance, Richard E.
,
Arthur, James D.
Published 2002
Springer London
Table of Contents:
“
... and Quality Measurement -- 8.4 The Quality Database and
Validity
of Indicators -- 9. Software Quality: Views...
”
Read Now
11
Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... -- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment -- Safety
Validation
...
”
Read Now
12
VLSI-SOC: From Systems to Chips : IFIP TC 10/WG 10.5, Twelfth International Conference on Very Large Scale Ingegration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmst...
Published 2006
Springer US
Table of Contents:
“
... by Evolutionary Algorithms --
Validation
of Asynchronous Circuit Specifications Using IF/CADP -- On-Chip Property...
”
Read Now
13
Responsive Computer Systems
Published 1993
Springer Vienna
Table of Contents:
“
... Snapshots Algorithm and its Application to Protocol Stabilization -- Protocol
Validation
Tool and Its...
”
Read Now
14
Computer Performance Evaluation: Modelling Techniques and Tools : Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceeding...
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Modelling Formalism --
Validation
of GSPN and SWN Models through the PROD Tool -- Software Performance...
”
Read Now
15
Web-Age Information Management. WAIM 2010 Workshops : WAIM 2010 International Workshops: IWGD 2010, WCMT 2010, XMLDM 2010, Jiuzhaigou Valley, China, July 15-17, 2010, Revised Selec...
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... XML Keyword Search through
Valid
Lowest Information Unit -- Reducing Redundancy of XPath Query over...
”
Read Now
16
Computer Safety, Reliability, and Security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... -- Towards Scenario-based Safety
Validation
for Autonomous Trains with Deep Generative Models...
”
Read Now
17
Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
Published 2020
Springer International Publishing
Table of Contents:
“
... and Risk Mitigation -- On
Validating
Attack Trees with Attack Effects -- Safety meets Security: Using ISA...
”
Read Now
18
Computer Science – CACIC 2023 : 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9–12, 2023, Revised Selected Papers
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... requirements elicitation and documentation in agile software development: A case study. --
Validation
...
”
Read Now
19
Sustaining TEL: From Innovation to Learning and Practice : 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, P...
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...: Qualitative
Validation
of an Informal Learning Support System Consisting of a Knowledge Discovery and a Social...
”
Read Now
20
Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... of Safety-Security Assurance -- The SISTER approach for Verification and
Validation
: a lightweight process...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Classification: 621 - Applied physics
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
621 - Applied physics
Language
English
35
German
1
Collection
Springer eBooks 2005-
25
Springer Book Archives -2004
10
O'Reilly
1
Author
Bitsch, Friedemann
4
Camarinha-Matos, Luis M.
2
Dhurandher, Sanjay Kumar
2
Ferreira, Pedro
2
Glesner, Manfred
2
Pattanaik, Kiran Kumar
2
more ...
Romanovsky, Alexander
2
Troubitsyna, Elena
2
Verma, Anshul
2
Woungang, Isaac
2
Alexander, Michael
1
Amaral, Adriana
1
Aroyo, Lora
1
Arthur, James D.
1
Bechhofer, Sean
1
Bradley, Jeremy
1
Brewster, Stephen
1
Brito, Guilherme
1
Brooks, Anthony L.
1
Brooks, Eva
1
Bruni, Roberto
1
Casimiro, António
1
Ceolin, Davide
1
Chakraverty, Snehashish
1
Chen, Jiageng
1
Cheng, Kwang-Ting
1
Cheung, Peter Y.K.
1
Cimiano, Philipp
1
Ciravegna, Fabio
1
Costea, Liviu
1
César, Eduardo
1
Dimitrakos, Theo
1
Dunlop, Mark
1
Economakis, Spiros
1
Farhadi, Nastaran
1
Fazio, Lisa
1
Fernández, Juan Manuel
1
Field, Tony
1
Gashi, Ilir
1
Guiochet, Jérémie
1
Habli, Ibrahim
1
Harder, Uli
1
Harrison, Peter G.
1
Hauswirth, Manfred
1
He, Debiao
1
Hertzberger, Bob
1
Hoffmann, Jörg
1
Hong, Dongwoo
1
Indrusiak, Leandro
1
Jensen, Kurt
1
Kakuda, Yoshiaki
1
Kirschner, Paul A.
1
Koornneef, Floor
1
Kopetz, Hermann
1
Koubarakis, Manolis
1
König, Hartmut
1
Larcher, Luca
1
Lindstaedt, Stefanie
1
Lopes, Fábio
1
Lu, Rongxing
1
Luk, Wayne
1
Mahato, Nisha Rani
1
Marmiroli, Andrea
1
Martrat, Josep
1
Meulen, Meine van der
1
Mooney, Vincent
1
Nance, Richard E.
1
Ortmeier, Frank
1
Panessi, Walter
1
Pavan, Paolo
1
Pei, Jian
1
Pereira, Helena
1
Pernici, Barbara
1
Pesado, Patricia
1
Prinz, Andreas
1
Reed, Jeanne
1
Reed, Rick
1
Reis, Ricardo
1
Sahoo, Deepti Moyi
1
Scheffel, Maren
1
Schoitsch, Erwin
1
Shen, Heng Tao
1
Sloot, Peter
1
Spezzano, Francesca
1
Streit, Achim
1
Sujan, Mark
1
Sylla, Cristina
1
Tonetta, Stefano
1
Traff, Jesper Larsson
1
Traverso, Paolo
1
Wesner, Stefan
1
Wolf, Karsten
1
Wolpers, Martin
1
Zou, Lei
1
Özsu, M. Tamer
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=dewey-ones%3A%22621+-+Applied+physics%22&lookfor=validity&type=AllFields
Send by Email
×
Loading...