Druckansicht

Monat Woche Tag
November 2019
Mo Di Mi Do Fr Sa So
28 29 30 31 1 2 3
4

Kategorie: Partner_EventDigitalDays2019

geschlossen

2019/11/04ganztägig

Als jährlicher Hauptevent der Initiative beschäftigen sich die DigitalDays mit aktuellen Fragestellungen der Digitalisierung in einem städtischen und sozialen Kontext.

DigitalDays2019

5

Kategorie: Partner_EventDigitalDays2019

geschlossen

2019/11/05ganztägig

Als jährlicher Hauptevent der Initiative beschäftigen sich die DigitalDays mit aktuellen Fragestellungen der Digitalisierung in einem städtischen und sozialen Kontext.

DigitalDays2019

6 7 8 9 10
11 12 13 14

Kategorie: Partner_EventIoT zbd Data Science

geschlossen

2019/11/14ganztägig

Die Entwicklung in der Digitalisierung schreitet weiter rasant voran und prägt unser Alltagsleben gleichermaßen wie die Geschäftswelt - das Internet der Dinge (IoT) ist Realität geworden.

IoT zbd Data Science

Kategorie: OCG_EventOCG Impulse Linz

geschlossen

2019/11/14

Netzwerkveranstaltung für MitarbeiterInnen von Bildungsinstitutionen und Unternehmen

OCG Impulse Linz

15 16 17
18 19

Kategorie: Partner_EventPRofi-Treff

geschlossen

2019/11/19

Expertentalk zum Thema Webaccessibility

PRofi-Treff

20 21

Kategorie: OCG_EventOCG Impulse Wien

geschlossen

2019/11/21

Netzwerkveranstaltung für MitarbeiterInnen von Bildungsinstitutionen und Unternehmen

OCG Impulse Wien

22 23 24
25

Kategorie: Partner_EventExcellence in Research: DC-RES and Carlo Ghezzi

geschlossen

2019/11/25

This talk will show an avenue for research which can be characterized as rethinking spatial environments from a software engineering perspective — in both design and operation aspects. Regarding design, it shows how domain descriptions can give rise to models amenable to automated analyses of dynamic behaviors in spaces populated by humans, robots, and mobile devices. Verification amounts to assessing if some collective behaviors violate certain requirements the overall system should exhibit. In particular, the talk will discuss how verification can scale to realistic space models. Regarding runtime, it will consider supporting analyses on the cloud on behalf of resource-constrained and spatially-distributed IoT devices. It will hint at how spatial verification processes can be integrated in the service layer of an IoT-cloud architecture based on microservices, and what tradeoffs emerge across different deployment options.

Excellence in Research: DC-RES and Carlo Ghezzi

26 27 28 29 30 1

Kategorie-Schlüssel

  • OCG_Event
  • Partner_Event

Zurück zur WebSite