| English | Russian |
| A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators | Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| alternating-time temporal logic | логика альтернированного времени (ssn) |
| concept of temporal locality | концепция временной локальности (ssn) |
| concept of temporal locality | концепция сосредоточенности во времени (ssn) |
| content-adaptive temporal search | временной поиск с адаптацией к контенту (ssn) |
| content-adaptive temporal search | временной поиск с учётом контента (ssn) |
| discrete real-time and quantitative temporal analysis | дискретное время и количественный анализ (ssn) |
| discrete-continuous model for temporal analysis of network-centric control systems | временной анализ систем с сетецентрическим управлением на основе непрерывно-дискретной модели (ssn) |
| graphical method for the temporal analysis of dynamics in discrete-continuous models | графический метод временного анализа динамики непрерывно-дискретной модели (ssn) |
| issues in temporal clustering | проблемы, связанные с темпоральной группировкой (ssn) |
| linear temporal logic | темпоральная логика линейного времени (сокр. LTL ssn) |
| linear temporal logic | линейная темпоральная логика (сокр. LTL ssn) |
| linear temporal logic | логика линейного времени (ssn) |
| quantitative temporal analysis | количественный временной анализ (ssn) |
| real-time temporal logic | темпоральная логика реального времени (ssn) |
| spatial and temporal effects | пространственные и временные эффекты (ssn) |
| spatio-temporal search | пространственно-временной поиск (поиск информации и/или пользователей по таким критериям, как время и местоположение; может служить, в частности, для обнаружения злоумышленников и вредоносного ПО ssn) |
| temporal analysis | временной анализ (ssn) |
| temporal analysis of dynamics in discrete-continuous models | временной анализ динамики непрерывно-дискретной модели (ssn) |
| temporal analysis of network-centric control systems | временной анализ систем с сетецентрическим управлением (ssn) |
| temporal clustering | временная группировка (ssn) |
| temporal clustering | темпоральная группировка (ssn) |
| temporal cohesion | временная связность (стандарт ISO/IEC/IEEE 24765 Alex_Odeychuk) |
| temporal cohesion | временная сцеплённость (ssn) |
| temporal dimension | временное измерение (Вера Кузнецова) |
| temporal effect | временной эффект (ssn) |
| temporal effects | временные эффекты (ssn) |
| temporal fluctuation | временная флуктуация (термин, который описывает временные отклонения циклических событий. Если, напр., событие должно иметь место каждые 200 мкс, а фактически происходит каждые 198 – 203 мкс, то временная флуктуация составляет 5 мкс. Временная флуктуация имеет много причин. Она возникает в компонентах и сетевой среде передачи из-за помех, переходных помех, электромагнитных помех и многих других случайных событий. В технологии автоматизации временная флуктуация является мерой качества синхронизации и тактирования ssn) |
| temporal inversion | темпоральная инверсия (ssn) |
| Temporal Key Integrity Protocol | Протокол ограниченной во времени целостности ключа (ssn) |
| temporal locality | временная локализация (ssn) |
| temporal locality | временная локальность (в компьютерах последовательной архитектуры программы чаще всего обращаются к данным, к которым обращались непосредственно до этого – это так называемая временная локальность (temporal locality), или по адресам, близким к адресам недавно выбранных данных, – это так называемая пространственная локальность (spatial locality). В многопроцессорной архитектуре с распределённой памятью для повышения эффективности важно добиваться максимального процента обращений к локальной памяти ssn) |
| temporal logic | темпоральная логика (ssn) |
| temporal logic for infinite families | темпоральная логика для бесконечных семейств (ssn) |
| temporal logic programming | программирование в терминах темпоральной логики (Alex_Odeychuk) |
| temporal logic programming | темпоральное логическое программирование (Alex_Odeychuk) |
| temporal logics | темпоральные логики (ssn) |
| temporal operator | темпоральный оператор (ssn) |
| temporal operators | темпоральные операторы (ssn) |
| temporal phases | временные фазы (ssn) |
| temporal precedence | временное предшествование (ssn) |
| temporal properties | временные свойства (ssn) |
| temporal relationships | временные соотношения (ssn) |
| temporal search | поиск по времени (отвечает на вопрос "когда" – определение времени создания или обновления искомого Интернет-контента; при этом могут использоваться такие критерии, как "любое время", "конкретная дата", "период времени" или "время последнего обновления данных" ssn) |
| temporal search | временной поиск (отвечает на вопрос "когда" – определение времени создания или обновления искомого Интернет-контента; при этом могут использоваться такие критерии, как "любое время", "конкретная дата", "период времени" или "время последнего обновления данных" ssn) |
| temporal specification | временная спецификация (ssn) |
| temporal task inversion | темпоральная инверсия задач (ssn) |
