Лауреатами стали Эдмунд Кларк, Аллен Эмерсон и Иосиф Сифакис, создатели метода верификации моделей программ (Model checking).
Если смотреть на текущую ситуацию с патентами, как на холодную войну, то патенты можно сравнить с ядерным оружием. Владение большим количеством патентов помогает, как и куча ядерных боеголовок, которы...
Администрация США предложила выделить $376 млн. в 2009 финансовом году для обеспечения информационной безопасности.
В фотоальбоме депутата Госдумы Валерия Зубова были представлены порнографические изображения (видимо, фотомонтаж), на которых похожий на депутата Зубова человек занимается сексом с неграми(комментарий...
Тайваньский суд приговорил к нескольким годам тюрьмы группу пиратов, которые, по заявлению Microsoft, были ответственны за производство 90 процентов пиратских копий программ корпорации.
Молодой человек, владелец магазина, еще в 2005 году на основании решения суда должен был выплатить МУП ЖКХ 111 тыс. рублей, из которых 70 тыс. он погасил добровольно, после чего выплаты прекратил и на...
Местный интернет-провайдер Tele2 согласился выполнить распоряжение суда, и IFPI надеется, что другие провайдеры добровольно последуют примеру компании и лишат пользователей интернета доступа к торрент...
Суд города Чебоксары подвел итог в уголовном деле над 21-летним студентом, который в начале 2007 года взломал почтовый ящик одного из клиентов Яндекс.Почты и попытался использовать данные его Яндекс.К...
Зафиксирована атака на пользователей популярной китайской игры Lianzong.
В ICANN сегодня официально объявили о том, что на 6 из 13 корневых серверов интернета (A-, F-, H-, J-, K-, M-серверы) развернуты системы для полноценной адресации при помощи протокола IPv6.
23-летний студент факультета журналистики Саед Первез Камбакш приговорён к смертной казни за то, что он скачал и распространял среди своих однокурсников один документ, в котором критикуются обычаи нек...
По данным сайта StopBadWare.org, RealPlayer 10.5 отображает контент рекламного характера, причем делает это неадекватным способом.
Закон гласит, что музыка и изображения в "ухудшенном или низком" качестве могут распространяться в Интернете "для использования в научных и образовательных целях, и только когда такое использование не...
Ннамди Чизубе Анисьоби, Кесанду Эгвуонву и Энтони Фрайдэй Эхиз были арестованы в феврале 2006 г. Четвертый обвиняемый бежал в Нигерию, однако позднее был арестован нигерийскими властями.
В сообщениях, написанных якобы справочной службой, предлагается подтвердить свои логин и пароль, а также подробную информацию личного характера, в том числе дату рождения и страну происхождения.