Search for "Ana" returned 9992 results

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

Software tools for wikis beyond MediaWiki and its extensions
30 min

Software tools for wikis beyond MediaWiki and its extensions

Observations on societal and technological changes in the DPRK
53 min

Observations on societal and technological changes in the DPRK

Distributing Freedesktop SDK applications to Flatpak, Snapd and Docker
23 min

Distributing Freedesktop SDK applications to Flatpak, Snapd and Docker

Global land cover monitoring and updating: big data challenges
24 min

Global land cover monitoring and updating: big data challenges

Standing up a OSM clone with GeoServer and CSS
22 min

Standing up a OSM clone with GeoServer and CSS

Space-enabled opportunities in business incubation, applications and services
18 min

Space-enabled opportunities in business incubation, applications and services

The UN Open GIS initiative – Vision, strategies, and achievements
26 min

The UN Open GIS initiative – Vision, strategies, and achievements

Design and development of the UN Vector Tile Toolkit
20 min

Design and development of the UN Vector Tile Toolkit

Why and How you should start using Onion Networking
28 min

Why and How you should start using Onion Networking

MGCP and where/how we use it in Osmocom
70 min

MGCP and where/how we use it in Osmocom

TTCN-3 and Eclipse TITAN for testing protocol stacks
66 min

TTCN-3 and Eclipse TITAN for testing protocol stacks

Mass Surveillance abusing Computational Linguistics and Human Language Technology
59 min

Mass Surveillance abusing Computational Linguistics and Human Language Technology

Mind-sets, state-of-the-art methods and practices according…

Vandalising your Github commit history for fun and profit
10 min

Vandalising your Github commit history for fun and profit

About quantumness and quantum speedup in D-Wave devices
54 min

About quantumness and quantum speedup in D-Wave devices

Media Coverage and the Public in the Surveillance Society
60 min

Media Coverage and the Public in the Surveillance Society

Findings from a Research Project on Digital Surveillance…

Photo mapping from my village to Pharmacies and Addresses
24 min

Photo mapping from my village to Pharmacies and Addresses

INSPIRE as an Open Platform
17 min

INSPIRE as an Open Platform

Building an international movement: hackerspaces.org
65 min

Building an international movement: hackerspaces.org

What we did so far. What will happen in the future.

INDECT - an EU-Surveillance Project
66 min

INDECT - an EU-Surveillance Project

An introduction to Firmware Analysis
40 min

An introduction to Firmware Analysis

Techniques - Tools - Tricks

"Day 2 Ops" Linux for Kubernetes and Container Workloads
54 min

"Day 2 Ops" Linux for Kubernetes and Container Workloads

Leveraging 10 years of Container Linux experience for…

Beyond Microservices: Running VMs, WASM, and AI Workloads on Kubernetes
49 min

Beyond Microservices: Running VMs, WASM, and AI Workloads on Kubernetes

TCH Rx error flags: FR, EFR, HR and BCI mystery
68 min

TCH Rx error flags: FR, EFR, HR and BCI mystery

Building a Robotic Future with openSUSE and Open Source
11 min

Building a Robotic Future with openSUSE and Open Source

Discuss the importance of Open Source in Robotics and how…