real-time verification

real-time verification
контроль в реальном (масштабе) времени

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужна курсовая?

Смотреть что такое "real-time verification" в других словарях:

  • Real Time Messaging Protocol — (RTMP) est un protocole réseau propriétaire, développé par Adobe Systems, pour la diffusion de flux de données en streaming (audio, vidéo ou autre) entre un serveur et un client, généralement le lecteur Flash. Sommaire 1 Histoire …   Wikipédia en Français

  • REAL ID Act — of 2005 Full title To establish and rapidly implement regulations for State driver s license and identification document security standards, to prevent terrorists from abusing the asylum laws of the United States, to unify terrorism related… …   Wikipedia

  • Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… …   Wikipedia

  • Real estate investing — involves the purchase, ownership, management, rental and/or sale of real estate for profit. Improvement of realty property as part of a real estate investment strategy is generally considered to be a sub specialty of real estate investing called… …   Wikipedia

  • Real estate appraisal — Real estate appraisal, property valuation or land valuation is the practice of developing an opinion of the value of real property, usually its Market Value. The need for appraisals arises from the heterogeneous nature of property as an… …   Wikipedia

  • Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… …   Wikipedia

  • Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …   Wikipedia

  • Time Crisis — Infobox VG title = Time Crisis caption= developer = Namco publisher = Namco designer = Takashi Sano (supervisor) release = Arcade 1995PlayStation vgrelease|JP=1997 06 27|NA=1997 10 31|PAL=1999 11 30 genre = Rail shooter series= Time Crisis series …   Wikipedia

  • Transaction verification — is the generic term to describe the Internet based security method of verifying that the actual content of a transaction has not been altered by the fraudulent techniques known as Man in the Middle (MitM) and Man in the Browser (MitB). This form… …   Wikipedia

  • Linear Time Temporal Logic — Die Computation Tree Logic (kurz CTL) ist eine Temporale Logik, die speziell zur Spezifikation und Verifikation von Computersystemen dient. Meist wird sie auch mit CTL* bezeichnet. CTL bezeichnet dann eine spezielle Teilmenge der CTL* Formeln.… …   Deutsch Wikipedia

  • The Real Presence of Christ in the Eucharist —     The Real Presence of Christ in the Eucharist     † Catholic Encyclopedia ► The Real Presence of Christ in the Eucharist     In this article we shall consider:     ♦ the fact of the Real Presence, which is, indeed, the central dogma;     ♦ the …   Catholic encyclopedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»