Sciweavers

1313 search results - page 129 / 263
» Generic Universe Types
Sort
View
ECEH
2006
162views Healthcare» more  ECEH 2006»
15 years 6 months ago
Mobile Health Care: Towards a Commercialization of Research Results
: During the last fours years a consortium of universities, hospitals and commercial companies has been working together for the development of innovative systems and services for ...
Dimitri Konstantas, Richard Bults, Aart van Halter...
159
Voted
JOIN
2006
128views more  JOIN 2006»
15 years 4 months ago
Galo: a Deployable Framework for Providing Better than Best-Effort Quality of Service
In this paper we propose a deployable approach to improving QoS by using a generic, extendable, overlay architecture; the Generalized Application Layer Overlay (GALO). The goals of...
Raheem A. Beyah, Raghupathy Sivakumar, John A. Cop...
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 3 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
149
Voted
PAIRING
2010
Springer
116views Cryptology» more  PAIRING 2010»
15 years 3 months ago
Fully Secure Anonymous HIBE and Secret-Key Anonymous IBE with Short Ciphertexts
Lewko and Waters [Eurocrypt 2010] presented a fully secure HIBE with short ciphertexts. In this paper we show how to modify their construction to achieve anonymity. We prove the s...
Angelo De Caro, Vincenzo Iovino, Giuseppe Persiano
137
Voted
SCN
2010
Springer
147views Communications» more  SCN 2010»
15 years 3 months ago
Group Message Authentication
Group signatures is a powerful primitive with many practical applications, allowing a group of parties to share a signature functionality, while protecting the anonymity of the si...
Bartosz Przydatek, Douglas Wikström