Skip to search formSkip to main contentSkip to account menu

Verification and validation

Known as: Verfiable, VV, Operational qualification 
Verification and validation are independent procedures that are used together for checking that a product, service, or system meets requirements and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Acceptance testingAgent-based modelAuthenticationBIOS

Broader (1)

Systems engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Adaptive Management of Virtualized Resources in Cloud Computing Using Feedback Control
Cloud computing as newly emergent computing environment offers dynamic flexible infrastructures and QoS guaranteed services in… 
Highly Cited
2005
Highly Cited
2005
Hierarchical interface-based supervisory control-part II: parallel case
In this paper, we present a hierarchical method that decomposes a discrete-event system (DES) into a high-level subsystem which… 
Highly Cited
2004
Highly Cited
2004
Carbon nanotube transistor operation at 2.6 Ghz
We present the first demonstration of single-walled carbon nanotube transistor operation at microwave frequencies. To measure the… 
Highly Cited
2002
Highly Cited
2002
Small byzantine quorum systems
In this paper we present two protocols for asynchronous Byzantine quorum systems (BQS) built on top of reliable channels-one for… 
Highly Cited
2000
Highly Cited
2000
iCAR: an integrated cellular and ad-hoc relay system
  • C. QiaoHongyi Wu
  • Proceedings Ninth International Conference on…
  • 2000
  • Corpus ID: 8099002
Ever increasing data traffic and limited capacity are major causes for congestion in current cellular systems. This paper… 
Highly Cited
1999
Highly Cited
1999
Plan Management in the Medical Domain
The need to improve the quality of health care has led to a strong demand for clinical protocols and computer systems supporting… 
Highly Cited
1998
Highly Cited
1998
The Reference Reach - a Blueprint for Natural Channel Design
The reference reach is a river segment that represents a stable channel within a particular valley morphology. The reference… 
Highly Cited
1995
Highly Cited
1995
Evolutionary identification of cloth animation models
This paper presents an application of evolutionary genetic techniques to the identification of internal parameters of a mass… 
Highly Cited
1995
Highly Cited
1995
Advanced Verification Techniques Based on Learning
Design verification poses a very practical problem during circuit synthesis. Learning based verification techniques prove to be… 
Highly Cited
1983
Highly Cited
1983
Testing by Verifying Walsh Coefficients
Testing of logic networks by verifying the Walsh coefricients of the outputs is explored. Measurement of one of these can detect… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)