среда, 10 сентября 2014 г.

Haifa Verification Conference

Вчера получил уведомление о том, что наша статья на конференцию HVC (http://www.research.ibm.com/haifa/conferences/hvc2014/) была принята:

The PC found the paper to be of borderline theoretical contribution,
but we all found the case study very interesting, and would therefore
like to offer you the opportunity to be accepted as a tool paper.
As a tool paper, your paper will be included in the proceedings (with
a smaller page limit), and you will have an opportunity to give a
(shorter) talk at the conference.
We would very much like to see your presentation at HVC, please let me
know if you are interested.
--Eran

четверг, 28 августа 2014 г.

XML: DOM - XmlDocument и исключение "невозможно разрешить удаленное имя"

Что делать, если происходит exception "невозможно разрешить удаленное имя" при открытии локального XML?

Ошибка происходит, если XmlDocument при отсутствии соединения пытается прочесть из интернета DTD, на который есть ссылка из XML, например такая:

<!DOCTYPE FBType SYSTEM "http://www.holobloc.com/xml/LibraryElement.dtd" >

После того, как проблема установлена, можно найти к ней решение: подключится к интернету или заставить XmlDocument не ходить в интернет за DTD. Для того, чтобы реализовать второй вариант, надо в свойствах XmlDocument, которые находятся в классе XmlReaderSettings поставить полю DtdProcessing значение DtdProcessing.Ignore и полю XmlResolver значение null. Под катом работающий пример.