Search results for «[верификация]» / Habr

maybe_elf 21 April 2020 at 20:45

Telegram начал продвигать официальные каналы о коронавирусе

Instant Messaging *Social networks and communities Health

В Telegram сообщили, что в рамках инициативы по борьбе с коронавирусом мессенджер начал в особом порядке проверять и продвигать каналы, которые сообщают официальную информацию о пандемии. За месяц были проверены источники в 17 странах.

Читать дальше →

3.8K

maybe_elf 24 April 2020 at 09:25

Всех заказчиков рекламы в Google обяжут пройти верификацию

Display advertising *Contextual advertising *IT-companies

Google объявил о новых правилах для рекламодателей. Теперь заказчики любой рекламы будут обязаны подтвердить свою личность, а также указать, в какой стране они работают.

Читать дальше →

3.7K

denis-19 14 December 2020 at 17:45

Pornhub удалил весь неподтверждённый контент с сайта

Legislation in IT Social networks and communities IT-companies

14 декабря 2020 года сервис Pornhub сообщил об удалении из поисковой выборки своей платформы всего неподтверждённого контента. С настоящего времени на сайте будет доступен только контент зарегистрированных и проверенных партнеров сервиса, а также участников модельной программы платформы — это также верифицированные аккаунты, владельцы которых продают свой контент через PornHub.

Читать дальше →

+40

75K

253

maybe_elf 30 June 2021 at 11:41

Google до конца года потребует от разработчиков приложений включить двухфакторную авторизацию на своих аккаунтах

Information Security *Development of mobile applications *Development for Android *

Разработчикам Google Play потребуется включить двухфакторную аутентификацию и выполнить требования к верификации до конца 2021 года. Google заявляет, что принимает данные меры для повышения уровня безопасности пользователей в приложениях.

-1

3.2K

maybe_elf 20 July 2021 at 10:53

В Telegram слили базу данных сервиса анонимной СМС-верификации sms-activate.ru

Information Security *Cellular communication

В Telegram начали распространять базу данных клиентов и транзакций сервиса для анонимной верификации sms-activate.ru. Первым архив опубликовал Telegram-канал «Утечки информации». В утекшем файле содержатся имена, адреса электронной почты, IP-адреса, частичные номера платежных карт и суммы платежей.

+12

9.8K

avouner 15 September 2021 at 17:30

Twitter вновь принимает аккаунты на верификацию

Social networks and communities IT-companies

Социальная сеть Twitter перезапустила систему верификации аккаунтов, приостановленную в августе 2021 года. Об этом сообщается в аккаунте Twitter Verified.

+11

891

avouner 2 November 2021 at 14:43

Facebook по ошибке дала синюю галочку фальшивому Илону Маску

Social networks and communities IT-companies

Социальная сеть Facebook случайно верифицировала и признала официальным фанатский аккаунт, посвящённый предпринимателю Илону Маску, хотя в его описании было прямым текстом указано, что самому бизнесмену он не принадлежит, сообщает Verge.

+11

1.1K

avsmal 24 January at 14:33

Студенческая смена по математике и компьютерным наукам от факультета МКН СПбГУ в Сириусе

Образовательные проекты JetBrains corporate blog Algorithms *Mathematics *Machine learning *Studying in IT

Проектная студенческая смена по математике и компьютерным наукам от факультета МКН СПбГУ состоится в Университете Сириус в Сочи с 24 марта по 03 апреля!

Приглашаем заинтересованных студентов бакалавриата поработать над фундаментальными и прикладными проектами вместе с преподавателями факультета математики и компьютерных наук СПбГУ. Таких проектов будет шесть:

- Машинное обучение
- Минимальные бивогнутые функции
- Поиск булевых схем
- Верификация
- Теория узлов и кос
- Алгоритмы и структуры данных в операционных системах

597

honyaki 16 February at 23:50

В MIT разработали прототип первого в мире тензорного языка программирования с формальной верификацией оптимизаций

SkillFactory corporate blog High performance *Programming *Mathematics *Popular science

Широко распространено мнение, что в высокопроизводительных вычислениях неизбежны компромиссы между скоростью и надёжностью. Однако команда исследователей утверждает, что можно получить всё. Подробностями делимся к старту флагманского курса по Data Science.

+10

6.5K

denis-19 23 March at 22:11

Минцифры: блогеры смогут верифицировать аккаунты на Rutube через Госуслуги

IT-companies

23 марта 2022 года Минцифры сообщило, что скоро блогеры смогут верифицировать свои аккаунты на видеохостинге Rutube через портал «Госуслуг».

Читать дальше →

7.2K

daniilshat 21 April at 12:08

Google добавила значки верификации для расширений Chrome

Browser extensions Browsers

Google представила значки верификации для расширений Chrome. Обновление уже доступно в магазине расширений. Компания считает, что инициатива поможет пользователям устанавливать только проверенные и безопасные дополнения.

708

aleksandrit 11 February 2011 at 23:21

Google введёт двухшаговую верификацию для всех пользователей

IT-companies

Как было объявлено в сентябре клиентам Google Apps, для повышения безопасности Google разработала двухшаговую верификацию. Теперь пришло время предложить эту функцию всем пользователям Google.

Двухшаговая верификация требует двух независимых факторов для аутентификации: пароль и код, полученный с помощью телефона. В течение следующих нескольких дней вы сможете увидеть новую ссылку на странице настройки учётной записи:

Читать дальше →

+51

1.5K

alexanderskulikov 25 April 2011 at 10:46

Летняя школа по программной инженерии и верификации

Self Promo

Этим летом (с 17 по 27 июля 2011 года) Microsoft Research, совместно с НИУ ВШЭ и ИСП РАН, организует международную Летнюю Школу, посвященную вопросам программной инженерии и верификации программного обеспечения. В числе спонсоров и партнеров Школы — компании Intel, Google, Лаборатория Касперского, а также IEEE Computer Society.

Директором Школы является сэр Тони Хоар (Tony Hoare) — ученый с мировым именем, лауреат премии Тьюринга. В качестве лекторов в школе будут выступать широко известные ученые и другие профессора из ведущих университетов США и Европы.

К участию приглашаются заинтересованные и активные студенты старших курсов, аспиранты, и молодые ученые из России, СНГ, а также стран центральной Европы и Скандинавии.

Если Вы заинтересованы, то спешите зарегистрироваться: Вы можете подать официальную заявку и документы до 1 мая включительно.

Подробности — под катом, в нашей группе и на официальном сайте.

Читать дальше →

+19

606

ZlodeiBaal 22 August 2011 at 05:54

Основы биометрии

Information Security *

Эта статья в какой-то мере является продолжением прошлой, а в какой-то её приквэлом. Здесь я расскажу про основы построения любой биометрической системы и про то, что осталось за кадром прошлой статьи, но обсуждалось в комментариях. Акцент сделан не на сами биометрические системы, а на их принципах и области действия.
Тем, кто не читал статью, или уже забыл — советую просмотреть что такое FAR и FRR, так как эти понятия будут использоваться и здесь.

Читать дальше →

+30

21K

suviuviuvi 28 March 2013 at 16:57

Управлять правами на сайт в инструментах для веб-мастеров Google стало проще

Google Developers corporate blog Website development *

Translation

Уровень подготовки веб-мастера: любой

В Инструментах Google для веб-мастеров появились новые функции, благодаря которым работать с подтвержденными владельцами сайтов стало проще:

● Просмотр сведений о подтверждении. Теперь вы можете узнать, каким способом владелец сайта подтвердил свое право собственности. Перейдите на страницу «Управление владельцами сайта», и вы увидите раздел «Информация о подтверждении». На скриншоте ниже показан пример таких сведений для пользователя, который прошел проверку, добавив метатег.

Если это применимо, на странице сведений будут отображаться ссылки на соответствующие подтверждения, и вы сможете без труда их найти.

Другие новые функции

-3

2.7K

cmex 7 June 2013 at 23:56

Как оценить инструменты для тестирования встроенного ПО

Website development *IT systems testing *

Введение от автора поста

Какой Вы используете инструмент тестирования?

За последние несколько лет рынок инструментов автоматизированного тестирования был заполнен средствами, претендующими на выполнение одной и той же функции – автоматизированного тестирования. Википедия перечисляет 38 инструментов оценки среды тестирования только для языков программирования С/С++. К сожалению, потенциальные пользователи, изучая описание данных продуктов, а также их упрощенные демонстрационные версии, могут сделать вывод, что большинство инструментов практически одинаковы.

Целью данного документа является предоставление инженерам информации, которую необходимо принимать во внимание при оценке автоматизированных инструментов тестирования ПО, особенно в части автоматизированных инструментов динамического тестирования.

Вы не сможете оценить инструмент тестирования, прочитав его спецификацию

Все спецификации выглядят достаточно однотипно. Ключевые слова одни и те же: «лидер отрасли», «уникальная технология», «автоматизированное тестирование», «передовые методы». Скриншоты похожи друг на друга: гистограммы, структурные схемы, HTML-отчеты и процентные показатели. Все это навевает скуку.

Подробнее

+15

19K

cmex 8 June 2013 at 12:19

Использование автоматизированных верификационных средств для тестирования ПО в соответствии со стандартами DO-178B/C (КТ-178В), EN 50126, IEC 61508, ISO 26262, FDA, IEC 62304

Website development *IT systems testing *

Введение от автора поста

Имея опыт разработки ПО для ответственных систем более чем 8 лет, хочу познакомить сообщество с некоторыми материалами, связанными с разработкой и верификацией ПО для ответственных систем (аэрокосмическая область, медицина, транспорт и промышленность). Получив согласие на перевод и адаптирование ряда интересных статей у зарубежных коллег решил воспользоваться данным ресурсом. Буду рад, если статья заинтересует наше сообщество. В статье использованы материалы фирмы Vector Software, Inc. и рассматривается пример использования автоматизированного верификационного инструментария VectorCAST.
В статье мы акцентируем внимание на стандартах DO-178B/C (КТ-178В), но данная статья актуальна и для применения в соответствии со стандартами: EN 50126, IEC 61508, ISO 26262, FDA, IEC 62304.
На вопросы отвечу в комментариях или в личку.

Введение

В этой статье, мы рассмотрим каким образом платформа тестирования встроенного программного обеспечения (ПО) VectorCAST может быть использована для достижения целей процесса верификации ПО, определенного в разделе 6.0 стандартов DO-178B и DO-178C (КТ-178В) «Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники». В документе также освещаются различия между двумя стандартами в части раздела 12 «Процесс квалификации инструментального ПО».

Подробнее

22K

Alefima 28 June 2013 at 15:10

Голосовые отпечатки: скорее всего, вы уже успели «наследить»

КРОК corporate blog Information Security *Development of communication systems *

Если в колл-центрах, куда вы иногда звоните, есть система создания голосовых отпечатков, вас могут легко опознать. Если такой системы ещё нет, ваши отпечатки можно создать в один клик по ранее сделанным записям.

Работает это так: каждый раз, когда вы звоните, например, в банк, где есть система определения клиента по голосу, ваш разговор записывается. Скажем, 1-2 минут вашей беседы с оператором достаточно для того, чтобы создать достаточно точный профиль вашего голоса. В дальнейшем вас будут определять по первой фразе.

Процесс создания голосового отпечатка и его проверки несимметричный. Для создания используется больше данных (больше времени разговора), для проверки – меньше примерно на порядок. Максимум, который я видел в условиях сильно зашумлённой линии – 15 секунд на проверку.

Читать дальше →

+87

63K

DemiurgeSerge 13 December 2013 at 11:10

Речевые технологии. Голосовая биометрия для чайников на примере работы в контактном центре

Центр речевых технологий (ЦРТ) corporate blog Development of communication systems *

Tutorial

Всем привет.
Недавно я написал вот такую статью про распознавание слитной речи, а сейчас хотел бы написать про голосовую биометрию, т.е. подтверждение личности человека по голосу и узнавание человека по голосу.

Читать дальше →

24K

maxstroy 27 November 2014 at 13:46

Валидация и верификация требований к системе

IT systems testing *

Очень часто путают два понятия валидация и верификация. Кроме того, часто путают валидацию требований к системе с валидацией самой системы. Я предлагаю разобраться в этом вопросе.

В статье «Моделирование объекта как целого и как композиции» я рассмотрел два подхода к моделированию объекта: как целого и как конструкции. В текущей статье нам это деление понадобится.

Пусть у нас есть проектируемый функциональный объект. Пусть этот объект рассматривается нами как часть конструкции другого функционального Объекта. Пусть есть описание конструкции Объекта, такое, что в нем присутствует описание объекта. В таком описании объект имеет описание как целого, то есть, описаны его интерфейсы взаимодействия с другими объектами в рамках конструкции Объекта. Пусть дано описание объекта как конструкции. Пусть есть информационный объект, содержащий требования к оформлению описания объекта как конструкции. Пусть есть свод знаний, который содержит правила вывода, на основании которых из описания объекта как целого получается описание объекта как конструкции. Свод знаний – это то, чему учат конструкторов в институтах – много, очень много знаний. Они позволяют на основе знанию об объекте спроектировать его конструкцию.

Читать дальше →

43K

2 3

Telegram начал продвигать официальные каналы о коронавирусе

Всех заказчиков рекламы в Google обяжут пройти верификацию

Pornhub удалил весь неподтверждённый контент с сайта

Google до конца года потребует от разработчиков приложений включить двухфакторную авторизацию на своих аккаунтах

В Telegram слили базу данных сервиса анонимной СМС-верификации sms-activate.ru

Twitter вновь принимает аккаунты на верификацию

Facebook по ошибке дала синюю галочку фальшивому Илону Маску

Студенческая смена по математике и компьютерным наукам от факультета МКН СПбГУ в Сириусе

В MIT разработали прототип первого в мире тензорного языка программирования с формальной верификацией оптимизаций

Минцифры: блогеры смогут верифицировать аккаунты на Rutube через Госуслуги

Google добавила значки верификации для расширений Chrome

Google введёт двухшаговую верификацию для всех пользователей

Летняя школа по программной инженерии и верификации

Основы биометрии

Управлять правами на сайт в инструментах для веб-мастеров Google стало проще

Уровень подготовки веб-мастера: любой

Как оценить инструменты для тестирования встроенного ПО

Введение от автора поста

Какой Вы используете инструмент тестирования?

Вы не сможете оценить инструмент тестирования, прочитав его спецификацию

Использование автоматизированных верификационных средств для тестирования ПО в соответствии со стандартами DO-178B/C (КТ-178В), EN 50126, IEC 61508, ISO 26262, FDA, IEC 62304

Введение от автора поста

Введение

Голосовые отпечатки: скорее всего, вы уже успели «наследить»

Речевые технологии. Голосовая биометрия для чайников на примере работы в контактном центре

Валидация и верификация требований к системе

Your account

Sections

Information

Services