ERD

Final evaluation report of edge applications (report + software)

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Web site and collaboration tools

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

New concepts for heavy edge computing

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Documentation and operational support for using the runtime system (startup)

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Informal requirements

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Formal requirements

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Year 1 activity report

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Year 3 activity report

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Revisiting Broadcast Algorithms for Wireless Edge Networks

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Basic programming model for edge computing (report + software)

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Report on generic edge computing (report + software)

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Higher-Order Patterns in Replicated Data Types

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Fine-Grained Consistency Upgrades for Online Services

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Multimodal Indexable Encryption for Mobile Cloud-Based Applications

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks wi...

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Quality-Aware Reactive Programming for the Internet of Things

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Aggregation protocols in light of reliable communication

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Designing Distributed Applications Using a Phase-Aware, Reversible System

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

A Certain Tendency Of The Database Community

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

On the Design of Distributed Programming Models

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks wi...

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

FMKe - a Real-World Benchmark for Key-Value Data Stores

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Loquat: A framework for large-scale actor communication on edge networks

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Global-Local View: Scalable Consistency for Concurrent Data Types

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Co-Design and Verification of an Available File System

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Distributed transactional reads - the strong, the quick, the fresh & the impossible

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

IPA

Project: LightKone

Updated at: 29-04-2024

Show more information

Project acronym LightKone

Resources

Selected filters:

Final evaluation report of edge applications (report + software)

Web site and collaboration tools

New concepts for heavy edge computing

Documentation and operational support for using the runtime system (startup)

Informal requirements

Formal requirements

BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage

Year 1 activity report

Year 3 activity report

Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks

Revisiting Broadcast Algorithms for Wireless Edge Networks

Basic programming model for edge computing (report + software)

Report on generic edge computing (report + software)

Higher-Order Patterns in Replicated Data Types

Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores

Fine-Grained Consistency Upgrades for Online Services

Multimodal Indexable Encryption for Mobile Cloud-Based Applications

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks wi...

Quality-Aware Reactive Programming for the Internet of Things

Aggregation protocols in light of reliable communication

Designing Distributed Applications Using a Phase-Aware, Reversible System

A Certain Tendency Of The Database Community

On the Design of Distributed Programming Models

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks wi...

FMKe - a Real-World Benchmark for Key-Value Data Stores

Loquat: A framework for large-scale actor communication on edge networks

Global-Local View: Scalable Consistency for Concurrent Data Types

Co-Design and Verification of an Available File System

Distributed transactional reads - the strong, the quick, the fresh & the impossible

IPA