The use of the NRL Protocol Analyzer and Gavin Lowe’s use of the model checker FDR to analyze the Needham-Schroeder public key protocol. This is used as a basis to compare and contrast the two systems and out possible future directions for research.

Особенности архитектуры платформы Google Android, ее место среди других платформ. История версий операционной системы для смартфонов. Статистика распространения версий Android. Характеристика встроенных приложений. Уровни архитектуры Google Android.

Исследование рынка и особенности архитектуры Android приложений. Рассмотрение сервиса для организации и поиска событий. Характеристика инструментов разработки мобильного приложения. Описание особенностей архитектуры и основных компонентов Android.

Question classification extracts useful information. Mathematical Machinery and Document Processing. State of the Art Query-based Summarization and Question Answering Systems. Answering Simple and Complex Questions, their experimental evaluation.

Antivirus is used to prevent, detect and remove malware, including computer viruses and worms. Such programs may also prevent and remove adware, spyware and other forms of malware. Identification methods: signature based detection and file emulation.

Исследование истории основания американской корпорации Apple, производителя персональных и планшетных компьютеров, программного обеспечения. Описания первых программируемых микрокомпьютеров, компьютеров серии Macintosh, современной продукции корпорации.

The peculiarity of improving the organization of information on plus trees, accounting, examination and use as breeding objects. The use of free software (Python, JavaScript) and the use of the PostgreSQL relational database with the PostGIS module.

The article analyzes the application of information technologies to the analysis of the stock market, namely to the study of the dynamics of the Ukrainian currency exchange rate, which will allow us to draw a conclusion about the market as a whole.

The use of specific application packages in the professional field. The integration of mobile technologies and cloud computing. Systems design and automation of scientific research. Educational software packages. Programs in economically viable.

Application software, the main types of software and operating systems. Ethics and intellectual property rights: when it is possible to copy. Guidelines for creating documents. Characteristics of communication software. Computer terms and their use.

On relevance of technical analysis. Pattern recognition. Technical indicators. Data processing. Feature extraction. Kolmogorov-Smirnov test. Algorithm and software. Model configuration. Clustering performance on simulated data, brutе force algorithm.

Error correction and the cascade protocol. Individual attacks in an realistic environment. Dynamic initial block-size. Statistical analysis of QKD networks in real-life environment. Quantum-cryptographic networks from a prototype to the citizen.

Research and analysis of ways to solve the problem of reducing the expressions obtained in solving the naval system. Structure of Stokes equations. Development and analysis of an equivalent reduction algorithm based on the theory of chain fractions.

Особенности ArcCatalog. Предварительный просмотр данных и географических границ, управление источниками данных. Использование данных в ArcMap и ArcToolbox. Советы по изучению ArcCatalog, просмотр и создание метаданных. Книга Introducing ArcCatalog.

Рассмотрение применения новых технологий при отводе земель. Использование геоинформационных систем (ГИС) ArcGIS и AutoCAD технологий в землеустройстве. Оценка применения программы AutoCAD при отводе земельных участков под объекты линейных сооружений.

Computer facilities and microprocessor systems and data manipulation. Digital automata synthesis. Programming of Intel microprocessors, generic architecture. Construction principles of telecommunications nodes. Initialization of purpose registers.

Presents the main transformational processes of scientific understanding of the role of "artificial" and "natural" intellect. The natural intellect is presented as a social phenomenon that arose from the interaction of individual cerebral structures.

Общие сведения о технологиях ASP. Используемые средства для программирования. История технологий ASP для создания веб-приложений и веб-сервисов от компании Майкрософт. Преимущества ASP.NET перед ASP. Использование дополнительных средств программирования.

Специализированные туристические порталы и сайты. Преимущества ASP при внедрении сложных бизнес-систем и при подключении большого числа офисов. Пути развития информационных технологий в туризме. Схема построения глобальных систем бронирования туруслуг.

Feature of writing wrapper libraries on top of libraries written in other programming languages or transpiled from other programming languages. Characteristics of the improvement of most of the standard indicators of the quality of the software code.

Оценка целесообразности применения низкоуровневого машинного кода совместно с высокоуровневым языком программирования. Рассмотрение возможности произвести вставку ассемблерного кода в языке Java. Цели совмещения Java и ассемблера. Java Native Interface.

Общие сведения об AutoCAD 2012 в среде Windows. Навигация в двумерных чертежах. Использование систем координат. Вспомогательные средства черчения. Привязка штриховок к контурам. Создание таблиц стилей печати. Создание твердотельных моделей выдавливанием.

Характеристика AutoCAD 2005. Описание системы координат, свойств примитивов. Характеристика особенностей управления экраном, построения объектов, команд оформления и редактирования чертежей. Описание формирования и редактирования трехмерных объектов.

Первый запуск, элементы интерфейса AutoCAD и его настройка. Создание чертежа с помощью инструментов "Подобие" и "Сопряжение". Настройка линейных и угловых единиц измерения. Создание дуг и прямоугольников. Основные методы нанесения штриховки и сечения.

Преимущества использования системы автоматизированного проектирования в строительстве. Знакомство с интерфейсом специализированного компьютерного приложения AutoCAD. Изучение базовых возможностей редактора. Твердотельное моделирование на базе сетей.

Використання блоків в AutoCAD. Робота з повторюваними об'єктами, їх об'єднання у блоки. Базові точки вставки. Створення блоків, їх перевизначення. Вставка блоків, файлів у креслення. Використання AutoCAD DesignCenter. Організація бібліотеки блоків.

Questionnaires are the tools uses in lexical typology with collect data for low-resourced languages, for which there are no large corpora or detailed dictionaries. Algorithm for automatically collect visual stimuli for lexico-typological research.

A problem with the automated exploit building method for the stack buffer overflow vulnerability. Application of the method to the problem of assessing the severity of errors in software and building protection for software and operating systems.

This paper presents a comprehensive algorithm for creating an automated system to collect, store, analyze and research data from a business. Its main features include synchronization with, and output to, an application installed on a PC or smartphone.

A flexible system troubleshooting and emergency operation of stepwise refinement priori probability. Ensuring reliability recognition of failure. Automatic search of breaks with step-by-step variations of parameters of tests in communication systems.