Astronet Поиск по астрономическим сайтам English Russian
       
        Точная форма слов   О проекте   Сайты   Справка
Поиск по:www.cplire.ru/   - Поискать по всем серверам
Найдено документов: 456 (1 сайтов) ---- Время поиска: 0.03сек.   

Показаны документы, содержащие фрагменты текста из документа
http://www.cplire.ru/Lab144/koi8/04020000.html.

1. Our report in Obninsk
Для программирования открытых информационных систем [1], отличительным признаком которых является принципиальная непредсказуемость результатов взаимодействия компонентов, представляется целесообразным использовать идеи и методы логического программирования, которое, в дополнение к обычной операционной семантике, поддерживает также декларативную семантику, инвариантную по отношению к возможному недетерминизму функционирования открытой системы. ... O2, NUML и другие), обеспечивающих такие возможности. ...
[ Сохраненная копия ]  Ссылки http://www.cplire.ru/Lab144/alt/04010000.html -- 11.4 Кб -- 24.09.2007
Похожие документы


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования