27
ответов
Почему программы не могут быть доказаны?
Почему компьютерная программа не может быть доказана, как математическая формулировка может? Математическое доказательство создается на других доказательствах, которые создаются еще от большего количества доказательств и на вниз к аксиомам - они...
вопрос задан: 10 June 2012 10:12
2
ответа
Как Вы Изменяете Уровень Журнала Пакета с помощью Log4j?
Я встретился со следующей ошибкой: http://issues.apache.org/jira/browse/AXIS2-4363 Это указывает следующее: Эта ошибка только происходит, когда уровень журнала для org.apache.axiom является ОТЛАДКОЙ так...
вопрос задан: 13 March 2011 21:40
1
ответ
Гипотетический, раньше-C++ 0x вопросы о понятиях
(Преамбула: Я - покойный подписчик к C++ 0x игра, и недавнее противоречие относительно удаления понятий от C++ 0x стандарт заставило меня узнавать больше о них. В то время как я понимаю...
вопрос задан: 30 April 2012 08:07
0
ответов
Что для меня правильный выбор для создания веб-сервиса с использованием Axis2 - AXIOM, JAXB, ADB или XMLBeans
Axis2 поддерживает создание веб-сервисов с использованием AXIOM, JAXB, ADB и XMLBeans. Я новичок в этой области разработки веб-сервисов и хочу создать веб-сервис с помощью Axis2. Веб-сервис будет ...
вопрос задан: 16 February 2011 23:13