Sciweavers

2290 search results - page 102 / 458
» Extensible Protected Types
Sort
View
ML
2006
ACM
15 years 2 months ago
Type-sensitive control-flow analysis
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
John H. Reppy
JCP
2007
101views more  JCP 2007»
15 years 2 months ago
Schema-Based Compression of XML Data with Relax NG
Abstract— The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed...
Christopher League, Kenjone Eng
143
Voted
ICC
2007
IEEE
153views Communications» more  ICC 2007»
15 years 9 months ago
Mapping for Iterative MMSE-SIC with Belief Propagation
Abstract— In Multiple-Input Multiple-Output (MIMO) wireless systems, since different signals are transmitted by different antennas simultaneously, interference occurs between the...
Satoshi Gounai, Tomoaki Ohtsuki
TDSC
2010
119views more  TDSC 2010»
14 years 9 months ago
On the General Applicability of Instruction-Set Randomization
We describe Instruction-Set Randomization (ISR), a general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoffs' principle to creat...
Stephen W. Boyd, Gaurav S. Kc, Michael E. Locasto,...
125
Voted
SACMAT
2009
ACM
15 years 9 months ago
Supporting RBAC with XACML+OWL
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
Rodolfo Ferrini, Elisa Bertino