Требуемые страницы

Ниже показаны до 20 результатов, начиная с №101.

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)

101. Теоретико-автоматный подход к определению формальных семантик языков программирования‏‎ (1 ссылка)
102. О дедуктивной безопасности запросов к базам конфиденциальных данных в системе облачных вычислений‏‎ (1 ссылка)
103. Encoding mobile ambients into the pi-calculus‏‎ (1 ссылка)
104. Об одной полисемантической модели последовательных программ‏‎ (1 ссылка)
105. К вопросу о существовании стойких обфускаторов программ‏‎ (1 ссылка)
106. Языки описания схем. Проблемы верификации‏‎ (1 ссылка)
107. О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью‏‎ (1 ссылка)
108. On the equivalence problem for programs with mode switching‏‎ (1 ссылка)
109. Об эквивалентности металинейных унарных рекурсивных программ‏‎ (1 ссылка)
110. Методы защиты проектных решений при проектировании микроэлектронных схем‏‎ (1 ссылка)
111. A runtime verification system for Software Defined Networks‏‎ (1 ссылка)
112. О разрешимости проблемы эквивалентности в одном классе операторных программ‏‎ (1 ссылка)
113. Towards a unified toolset for embedded systems development‏‎ (1 ссылка)
114. Применение алгебры подстановок для унификации программ‏‎ (1 ссылка)
115. Теория надежности и контроля схем. Методы построения тестов‏‎ (1 ссылка)
116. О логико-термальной эквивалентности стандартных схем программ‏‎ (1 ссылка)
117. Equivalence Checking Problem for Finite State Transducers‏‎ (1 ссылка)
118. Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов‏‎ (1 ссылка)
119. Быстрые алгоритмы антиунификации и их применение при анализе программ‏‎ (1 ссылка)
120. К вопросу об обфускации конечных автоматов‏‎ (1 ссылка)

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)