1965 search results - page 200 / 393 » On the analysis of interacting pushdown systems |
167
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
187
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
— The combined OFDM/SDMA approach has raised lots of research interests recently as it appears to be quite suitable for future broadband wireless transmission. In order to build ...
156
click to vote
SE
2007
15 years 8 months ago
2007
: One of the major tasks in maintaining software systems is understanding how specific effects came to be. This is especially true for effects that cause major harm, and especiall...
198
click to vote
SAMOS
2009
Springer
16 years 1 months ago
2009
Springer
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
165
click to vote
ISBI
2007
IEEE
16 years 26 days ago
2007
IEEE
Virtual Tomographic Reflection (VTR) is a new augmented reality technique that allows users to view volumetric image data using an interaction paradigm based on medical ultrasoun...