1901 search results - page 373 / 381 » Predicting Program Properties from |
SACMAT
2009
ACM
15 years 5 months ago
2009
ACM
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
139
click to vote
SUTC
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
SASN
2006
ACM
15 years 4 months ago
2006
ACM
Intrusion or misbehaviour detection systems are an important and widely accepted security tool in computer and wireless sensor networks. Their aim is to detect misbehaving or faul...
ACMMSP
2005
ACM
15 years 4 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...