Sciweavers

12107 search results - page 1987 / 2422
» Software That Can Think
Sort
View
RTSS
2008
IEEE
16 years 1 months ago
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco...
SADFE
2008
IEEE
16 years 1 months ago
Computer Forensics in Forensis
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
Sean Peisert, Matt Bishop, Keith Marzullo
SP
2008
IEEE
144views Security Privacy» more  SP 2008»
16 years 1 months ago
Cloaker: Hardware Supported Rootkit Concealment
Rootkits are used by malicious attackers who desire to run software on a compromised machine without being detected. They have become stealthier over the years as a consequence of...
Francis M. David, Ellick Chan, Jeffrey C. Carlyle,...
VL
2008
IEEE
120views Visual Languages» more  VL 2008»
16 years 1 months ago
Unobtrusive data acquisition for spreadsheet research
Spreadsheets are one of the most common end-user programming environments in use today, and their importance in the business world continues to grow. Although considered critical ...
Brian Bishop, Kevin McDaid
APCSAC
2007
IEEE
16 years 1 months ago
Implicit Transactional Memory in Kilo-Instruction Multiprocessors
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
Marco Galluzzi, Enrique Vallejo, Adrián Cri...
« Prev « First page 1987 / 2422 Last » Next »