Sciweavers

GI
2009
Springer
13 years 11 months ago
Classifying Privacy and Verifiability Requirements for Electronic Voting
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
Lucie Langer, Axel Schmidt, Melanie Volkamer, Joha...
GI
2009
Springer
13 years 11 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
GI
2009
Springer
13 years 11 months ago
Parallelised Gaussian Mixture Filtering for Vehicular Traffic Flow Estimation
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
Lyudmila Mihaylova, Amadou Gning, Viktor Doychinov...
GI
2009
Springer
13 years 11 months ago
Strategic Interaction Definition Language
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
Rustam Tagiew
GI
2009
Springer
13 years 11 months ago
Mobile Anwendungen im Kontext des Medizinproduktegesetzes
: Nach den aktuellen gesetzlichen Bestimmungen ist auch eigenst
Christian Mauro, Ali Sunyaev, Sebastian Dünne...
GI
2009
Springer
13 years 11 months ago
Integration von Legacy-Anwendungen durch eine Beobachter-Architektur
Abstract: Zentrales Anliegen bei der Erstellung gro
Martin Meinhold, Fred Stefan
GI
2009
Springer
13 years 11 months ago
On the Role of Evolvability for Architectural Design
: Today software systems have to face frequent requests for change during their whole lifetime. It is very important that they can adapt to the frequently changing needs and are fl...
Stephan Bode
FOCS
2009
IEEE
13 years 11 months ago
Space-Efficient Framework for Top-k String Retrieval Problems
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...
Wing-Kai Hon, Rahul Shah, Jeffrey Scott Vitter
FOCS
2009
IEEE
13 years 11 months ago
Optimal Quantum Strong Coin Flipping
Coin flipping is a fundamental cryptographic primitive that enables two distrustful and far apart parties to create a uniformly random bit [Blu81]. Quantum information allows for ...
André Chailloux, Iordanis Kerenidis