0 prosjekter

IKTPLUSS-IKT og digital innovasjon

Petri Nets 2020 Conference Support

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in the areas of: * General topics of interest related to concurrency - Model checking ...

Tildelt: kr 99 999

Prosjektperiode: 2022-2022

Sted: Vestland

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Enabling Highly Automated Cross-Organisational Workflow Planning

Automatisering av arbeidsflytplanlegging er en av de viktigste digitale transformasjonsaktivitetene. Å planlegge arbeidsflyt på tvers av organisasjoner krever kunnskap fra flere domener. I tillegg kreves det oversikt over hvordan disse arbeidsflytene samhandler med hverandre. Eksisterende datamas...

Tildelt: kr 8,0 mill.

Prosjektperiode: 2021-2025

Sted: Vestland

IS-AUR-Samarb.progr. Norge Frankrike

Synchronous Languages meet Asynchronous Semantics

In the world of concurrent programs, futures are often used to synchronise asynchronous operations. In general, futures can be categorised as either implicit or explicit. With implicit futures, it is in general not possible to decide if a variable holds a future value or a concrete value in progr...

Tildelt: kr 0,10 mill.

Prosjektperiode: 2020-2022

Sted: Vestland

IKTPLUSS-IKT og digital innovasjon

iFM'19 Conference Support

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope wi...

Tildelt: kr 99 999

Prosjektperiode: 2019-2019

Sted: Vestland