1965 search results - page 200 / 393 » On the analysis of interacting pushdown systems |
CANS
2009
Springer
14 years 4 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 ...
ICC
2007
IEEE
14 years 4 months 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 ...
SE
2007
13 years 11 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...
SAMOS
2009
Springer
14 years 4 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...
ISBI
2007
IEEE
14 years 4 months 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...