Последние поступления
Cost-Effective Verification of Concurrent Safety-Critical Systems
Раздел: Основы информатики, общие работы
Страниц:
Язык: Русский
From a modern heart pacemaker to a computer-controlled jet engine in a civilian flight or an air fighter, Safety-critical systems – i.e. those systems whose failure could result in loss of life – have ...
Stratum plus, №4, 2010. Рим и варвары: от Августа до Августула
Раздел: Антропология
Страниц: 350
Год издания: 2010
Язык: Русский
Предлагаем Вашему вниманию очередной выпуск журнала "Stratum plus". Основные темы номера: Балканский поход бастарнов 29 г. до н. э.; Сарматский котел из Нижнего Поднестровья; Погребения III в. н. э ...
Discrete Event Systems Applied in Medicine
Раздел: Основы информатики, общие работы
Страниц:
Язык: Русский
Discrete event systems (DESs) represent an important chapter of artificial intelligence and have applications in several domains ranging from technical sciences to social sciences, environmental surve ...
Integration of Web Services and Agent technologies
Раздел: Основы информатики, общие работы
Страниц:
Язык: Русский
Web service technology is one of the trend technologies in computer science now, and recently with the rapid growth of web services deployed with the same functionality, many researches proposed selec ...
Simulator for Database Aggregation using Metadata
Раздел: Основы информатики, общие работы
Страниц:
Язык: Русский
The ‘Simulator for Database Aggregation using Metadata’ addresses the problem of hardcoded end-user applications by sitting between the end-user application and the DBMS, and intercepting the end user ...