1880 search results - page 218 / 376 » A Static Analysis for Beta-Binders |
211
click to vote
SDMW
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we investigate the feasibility and efficiency of mapping XML data and access control policies onto relational and native XML databases for storage and querying. We de...
168
click to vote
VL
2007
IEEE
16 years 26 days ago
2007
IEEE
We are currently investigating what types of end user personas (or homogeneous groups in the population) exist and what works for or hinders each in end-user debugging. These pers...
174
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
159
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
- The design of a spherical wrist with parallel architecture is the object of this article. This study is part of a larger project, which aims to design and to build an eel robot f...
144
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we first present two tagging mechanisms; the SCISM and IA-64; thereafter we describe the mapping of IA-64 ISA to a SCISM configuration without changing or reassigni...