Abstract. We describe a single framework in which to view the endto-end-independently-verifiable (E2E) polling-place voting systems with a mixnet back-end. We use the framework to ...
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Anneg...
In this paper, we formulate extractive summarization as a risk minimization problem and propose a unified probabilistic framework that naturally combines supervised and unsupervis...
—This paper presents a framework to address the combination of ubiquitous computing interests as an Intelligent Assisting Location-Aware Service and development of its hardware a...
Minsoo Lee, Yoonsik Uhm, Zion Hwang, Yong Kim, Joo...
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...