754 search results - page 85 / 151 » Can self-managed systems be trusted |
ACSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
In current extensible monolithic operating systems, loadable kernel modules (LKM) have unrestricted access to all portions of kernel memory and I/O space. As a result, kernel-modu...
ASPLOS
2012
ACM
12 years 6 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
ICONFERENCE
2012
12 years 5 months ago
2012
As Facebook has become global, users from different cultural and socio-political contexts have joined the site. We present a case study investigating how both current and historic...
SIGMOD
2012
ACM
12 years 19 days ago
2012
ACM
The popularity of mobile social networking services (mSNSs) is propelling more and more businesses, especially those in retailing and marketing, into mobile and location-based for...
ICFP
2012
ACM
12 years 18 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...