2948 search results - page 410 / 590 » More Principled Design of Pervasive Computing Systems |
176
click to vote
EUROCRYPT
1990
Springer
15 years 10 months ago
1990
Springer
We describe results from an apparatus and protocol designed to implement quantum key distribution, by which two users, who share no secret information initially: 1) exchange a ran...
180
click to vote
GRAPHICSINTERFACE
2007
15 years 8 months ago
2007
In this work, we propose and compare several methods for the visualization and exploration of time-varying volumetric medical images based on the temporal characteristics of the d...
179
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...
217
click to vote
ECOOPW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
182
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...