Results 1 to 10 of about 1,543,905 (277)
D.3.1 – Privacy Breach Scenarios in SocioPlug [PDF]
, 2016 In SocioPlug, we have particular concerns about data protection. Services proposed by SocioPlug will conform to European regulations, during personal data collection and data access. In particular the right to oblivion, collection and access purposes should be explicitly determined by data owners.
Serrano-Alvarado, Patricia
openaire +3 more sources
Capabilities and costs for ancillary services provision by wind power plants. Deliverable D 3.1 [PDF]
, 2013 This report is the deliverable of the third work package of the REserviceS project and describes the technical options and related costs for the provision of ancillary services specifically from wind energy technologies. It is focused on the set of ancillary services defined in the previous work package 2, shown in table 1 below.
Faiella, Mariano +3 more
openaire +3 more sources
Relating Functional and Imperative Session Types [PDF]
Logical Methods in Computer Science, 2022 Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that change the typestate of the channel.
Hannes Saffrich, Peter Thiemann
doaj +1 more source
Causal Consistency for Reversible Multiparty Protocols [PDF]
Logical Methods in Computer Science, 2021 In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types.
Claudio Antares Mezzina, Jorge A. Pérez
doaj +1 more source
Internal Parametricity for Cubical Type Theory [PDF]
Logical Methods in Computer Science, 2021 We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives.
Evan Cavallo, Robert Harper
doaj +1 more source
Space-Fluid Adaptive Sampling by Self-Organisation [PDF]
Logical Methods in Computer Science, 2023 A recurrent task in coordinated systems is managing (estimating, predicting, or controlling) signals that vary in space, such as distributed sensed data or computation outcomes.
Roberto Casadei +4 more
doaj +1 more source
Differentials and distances in probabilistic coherence spaces [PDF]
Logical Methods in Computer Science, 2022 In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives.
Thomas Ehrhard
doaj +1 more source
Relating Apartness and Bisimulation [PDF]
Logical Methods in Computer Science, 2021 A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor.
Herman Geuvers, Bart Jacobs
doaj +1 more source
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs [PDF]
Logical Methods in Computer Science, 2012 We consider the problem of computing numerical invariants of programs, for instance bounds on the values of numerical program variables. More specifically, we study the problem of performing static analysis by abstract interpretation using template ...
Thomas Martin Gawlitza, David Monniaux
doaj +1 more source
Logical Methods in Computer Science, 2017 We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not.
Massimo Bartoletti +3 more
doaj +1 more source