1k citations
- Goddard Space Flight CenterUS21 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR18 papers
- Astrophysique, Instrumentation et ModélisationFR17 papers
- Max Planck Institute for Radio AstronomyDE17 papers
- Universities Space Research AssociationUS17 papers
- National Institute for AstrophysicsIT16 papers
- University of Maryland, College ParkUS16 papers
- University of PaduaIT16 papers
- University of Rome Tor VergataIT16 papers
- CEA Paris-SaclayFR15 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE15 papers
Showing 2018Show all
3 papers · 1 filter
cs.CR2018★ 3 cited
On the Difficulties of Incentivizing Online Privacy through Transparency: A Qualitative Survey of the German Health Insurance Market
Max Maass, Nicolas Walter, Dominik Herrmann +1
Today, online privacy is the domain of regulatory measures and privacy-enhancing technologies. Transparency in the form of external and public assessments has been proposed for imp…
cs.PL2018★ 18 cited
A Generalized Modality for Recursion
Adrien Guatto
Nakano's later modality allows types to express that the output of a function does not immediately depend on its input, and thus that computing its fixpoint is safe. This idea, gua…
cs.SE2018★ 4 cited
Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications
Thomas Vogel, Jens Bruhn, Guido Wirtz
Enterprise Applications (EA) are complex software systems for supporting the business of companies. Evolution of an EA should not affect its availability, e.g., because of a tempor…