research
∙
08/21/2023
Algebraic Reasoning About Timeliness
Designing distributed systems to have predictable performance under high...
share
research
∙
02/01/2023
Ideas for the future of Prolog inspired by Oz
Both Prolog and Oz are multiparadigm languages with a logic programming ...
research
∙
11/17/2022
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)
This proceedings contains abstracts and position papers for the work pre...
research
∙
05/14/2020
Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet
The Internet, at large, remains under the control of service providers a...
research
∙
01/15/2019
Achlys : Towards a framework for distributed storage and generic computing applications for wireless IoT edge networks with Lasp on GRiSP
Internet of Things (IoT) has gained substantial attention over the past ...
research
∙
04/24/2018
On-Demand Big Data Integration: A Hybrid ETL Approach for Reproducible Scientific Research
Scientific research requires access, analysis, and sharing of data that ...
research
∙
02/08/2018