Tradução de "software de segurança crítica" para o idioma inglês:


  Dicionário Português-Inglês

Crítica - tradução : Crítica - tradução : Segurança - tradução : Segurança - tradução : Segurança - tradução : Segurança - tradução :

  Exemplos (Fontes externas, não revisadas)

A verificação formal de declarações de lógica tem sido necessária para o desenvolvimento de software de sistemas de segurança crítica, e os avanços na prova automática de teoremas tem sido impulsionada para essa necessidade.
Formal verification of statements in logic has been necessary for software development of safety critical systems, and advances in automated theorem proving have been driven by this need.
Vulnerabilidades Em 2007 e 2008, muitos relatos de segurança foram relacionados ao software.
Vulnerabilities Many security issues have been uncovered in the software, particularly in 2007 and 2008.
Ver artigo principal software de segurança invasorAlguns programas antivírus aparentes são realmente demalware mascarado como software legítimo, como WinFixer, MS Antivirus e MacDefender.
Rogue security applications Some apparent antivirus programs are actually malware masquerading as legitimate software, such as WinFixer, MS Antivirus, and Mac Defender.
A única verdadeira diferença existente entre produtos hardware e software reside no tipo de medidas de segurança utilizadas .
The only real difference between hardware and software based products lies in the type of security measures used .
O plano de segurança do operador deve indicar os activos da infra estrutura crítica europeia e definir soluções de segurança relevantes para a sua protecção , em conformidade com o Anexo II .
The Operator Security Plan shall identify the assets of the European Critical Infrastructure and establish relevant security solutions for their protection in accordance with Annex II .
O Agente de Ligação de Segurança será designado no prazo de um ano após a designação da infra estrutura como infra estrutura crítica europeia .
The Security Liaison Officer shall be designated within one year following the designation of the critical infrastructure as a European Critical Infrastructure .
E é uma área crítica de segurança nacional e de vitalidade econômica, ter certeza de produzirmos a próxima geração de cientistas, engenheiros, matemáticos e tecnólogos.
And that's a critical area of national security and economic vitality, to make sure we produce the next generation of scientists, engineers, mathematicians and technologists.
Ver também Software livre Free Software Foundation Compatibilidade de licenças
Free software that depends on proprietary software is considered trapped by the Free Software Foundation.
Os Estados Membros comunicam os dados relevantes referentes aos riscos e ameaças identificados ao Agente de Ligação de Segurança da infra estrutura crítica europeia em causa .
Each Member State shall communicate relevant information concerning identified risks and threats to the Security Liaison Officers of the European Critical Infrastructure concerned .
Crítica de Clifford Geertz.
The Structures of History.
Instalação de Software
Software Install
Software de Astrologia
Astrology Software
Centro de Software
Software Center
Repositórios de software
Software Sources
Sinal de Software
Software Token
Atualizador de Software
Software Updater
Um dos objetivos do projeto Coyotos é demonstrar que o componente de isolamento e segurança foram definitivamente alcançados através da aplicação de técnicas de verificação de software.
One goal of the Coyotos project is to demonstrate that component isolation and security has been definitively achieved by applying software verification techniques.
Antivírus ou software antivírus (muitas vezes abreviado comoAV), também conhecido como software anti malware, é um software de computadorusado para prevenir, detectar e remover software malicioso.
Antivirus or anti virus software (often abbreviated as AV), sometimes known as anti malware software, is computer software used to prevent, detect and remove malicious software.
A crítica interna a respeito da forma como o governo chinês gere a saúde, a segurança e a qualidade de vida em geral está a aumentar.
Internal criticism of the Chinese government s management of health, safety, and overall quality of life issues is growing.
Massa crítica de uma esfera A forma com menor massa crítica é a esfera.
Varying the density of the massThe higher the density, the lower the critical mass.
Licenças A maioria do software é publicado sob uma licença de software .
an algorithm) on how to implement a piece of software, or a component of a piece of software.
Crítica A recepção crítica do filme foi no geral positiva.
Critical The critical reception of the film was generally positive.
Ações Escrever e espalhar o software livre O trabalho do núcleo no movimento software livre focado em desenvolvimento de software.
Actions Writing and spreading free software The core work of the free software movement focused on software development.
1964 Ensaios de interpretação crítica.
1964 Ensaios de Interpretação Crítica.
Software de introdução algorítmico
Algorithmics introduction software
Software Visualizador de Logs
Software Log Viewer
Centro de Software Lubuntu
Lubuntu Software Center
Centro de Software Muon
Muon Software Center
Centro de Software Ubuntu
Ubuntu Software Center
Software Visualização de Dados
Data Visualization software
Entusiasta de software livre?
Open software enthusiast?
Avaliação de software educacional.
Combining Software Games with Education Evaluation of its Educational Effectiveness.
Software As primeiras versões da Usenet usaram o software de Duke, A News.
Software Early versions of Usenet used Duke's A News software, designed for one or two articles a day.
O movimento software livre também rejeita o software proprietário, se recusando a instalar software que não dar lhes as liberdades do software livre.
The free software movement also rejects proprietary software, refusing to install software that does not give them the freedoms of free software.
Software de comunicação de lan
Lan communication software
A Opera Software é uma empresa de software da Noruega fundada em 1995 pelos engenheiros de software Jon S. von Tetzchner e Geir Ivarse.
History Opera Software was founded as an independent company on August 30, 1995 by Jon Stephenson von Tetzchner and Geir Ivarsøy.
O teste de software pode ser visto como uma parcela do processo de qualidade de software.
Information derived from software testing may be used to correct the process by which software is developed.
Desta forma, todo software de código aberto não pode ser considerado um software livre.
While some software might always be free, there would be a growing amount of software that was for sale only.
A Borland Software Corporation é uma empresa de software com sede em Austin, Texas.
Borland Software Corporation is a software company that facilitates software deployment projects.
Fundos de segurança social Fundos de segurança social Fundos de segurança social
Social security funds Social security funds Social security funds
Os membros do movimento software livre acreditam que todos os usuários do software deve ter as liberdades listadas na Definição de Software Livre.
Members of the free software movement believe that all users of software should have the freedoms listed in The Free Software Definition.
Software de mapeamento da mente
Mind mapping software
'Software' malicioso
Malware
Software 0096
Software 0096
Software 5901
Software 5901

 

Pesquisas relacionadas : Segurança Crítica - Segurança Crítica - Segurança Crítica - Software De Missão Crítica - Segurança De Software - Segurança De Software - Software De Segurança - Software De Segurança - Equipamentos De Segurança Crítica - Patch De Segurança Crítica - Software De Segurança De Endpoint - Software De Segurança Na Internet