Sciweavers

9503 search results - page 264 / 1901
» Authenticated System Calls
Sort
View
SPIN
2004
Springer
16 years 19 days ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm
USS
2004
15 years 8 months ago
Privtrans: Automatically Partitioning Programs for Privilege Separation
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
David Brumley, Dawn Xiaodong Song
JSAI
2001
Springer
15 years 11 months ago
Methodological Considerations on Chance Discovery
This paper investigates the methodological foundations of a new research field called chance discovery which aims to detect future opportunities and risks. By drawing on concepts...
Helmut Prendinger, Mitsuru Ishizuka
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 11 months ago
Data Windows: A Data-Centric Approach for Query Execution in Memory-Resident Databases
Structured embedded databases are currently becoming an integrated part of embedded systems, thus, enabling higher standards in system automation. These embedded databases are typ...
Jayaprakash Pisharath, Alok N. Choudhary, Mahmut T...
ECCV
2002
Springer
16 years 9 months ago
Face Recognition from Long-Term Observations
We address the problem of face recognition from a large set of images obtained over time - a task arising in many surveillance and authentication applications. A set or a sequence ...
Gregory Shakhnarovich, John W. Fisher III, Trevor ...