3814 search results - page 514 / 763 » Operating system support for multimedia systems |
187
click to vote
TISSEC
2010
15 years 29 days ago
2010
Storage-based intrusion detection allows storage systems to transparently watch for suspicious activity. Storage systems are well-positioned to spot several common intruder action...
165
click to vote
CCS
2009
ACM
16 years 6 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
247
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
154
click to vote
ECRTS
2007
IEEE
16 years 18 days ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
152
click to vote
ICDE
2007
IEEE
16 years 17 days ago
2007
IEEE
Recently, systems providing access to extremely large data collections, managed in a distributed manner, gain emerging attention. A promising approach to implement the physical la...