Sciweavers

4511 search results - page 493 / 903
» Observation Based System Security
Sort
View
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
16 years 6 months ago
MMS: Using Queries As Data Values for Metadata Management
We demonstrate MMS, a system for storing and managing a variety of metadata in a simple, elegant and uniform way. The system is based on two observations. First, that the relation...
Divesh Srivastava, Yannis Velegrakis
131
Voted
ASAP
2009
IEEE
80views Hardware» more  ASAP 2009»
16 years 2 months ago
Specialization of the Cell SPE for Media Applications
— There is a clear trend towards multi-cores to meet the performance requirements of emerging and future applications. A different way to scale performance is, however, to specia...
Cor Meenderinck, Ben H. H. Juurlink
CLIMA
2010
15 years 6 months ago
Combining Logics in Simple Type Theory
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
Christoph Benzmüller
122
Voted
MAICS
2003
15 years 6 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz
SP
2008
IEEE
138views Security Privacy» more  SP 2008»
15 years 11 months ago
Practical Proactive Integrity Preservation: A Basis for Malware Defense
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
Weiqing Sun, R. Sekar, Gaurav Poothia, Tejas Karan...