Sciweavers

366 search results - page 2 / 74
» Machine Function Based Control Code Algebras
Sort
View
NDSS
2003
IEEE
13 years 10 months ago
Access Control Based on Execution History
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
Martín Abadi, Cédric Fournet
PLDI
1997
ACM
13 years 9 months ago
Data-centric Multi-level Blocking
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali
IWFM
2000
167views Formal Methods» more  IWFM 2000»
13 years 6 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
BMCBI
2004
252views more  BMCBI 2004»
13 years 5 months ago
Applying Support Vector Machines for Gene ontology based gene function prediction
Background: The current progress in sequencing projects calls for rapid, reliable and accurate function assignments of gene products. A variety of methods has been designed to ann...
Arunachalam Vinayagam, Rainer König, Jutta Mo...
STOC
2009
ACM
187views Algorithms» more  STOC 2009»
14 years 6 months ago
Artin automorphisms, cyclotomic function fields, and folded list-decodable codes
Algebraic codes that achieve list decoding capacity were recently constructed by a careful "folding" of the Reed-Solomon code. The "low-degree" nature of this f...
Venkatesan Guruswami