Sciweavers

5326 search results - page 82 / 1066
» On what we can ensure
Sort
View
HOTOS
2003
IEEE
15 years 11 months ago
Certifying Program Execution with Secure Processors
Cerium is a trusted computing architecture that protects a program’s execution from being tampered while the program is running. Cerium uses a physically tamperresistant CPU and...
Benjie Chen, Robert Morris
OPODIS
2007
15 years 7 months ago
Worm Versus Alert: Who Wins in a Battle for Control of a Large-Scale Network?
Consider the following game between a worm and an alert3 over a network of n nodes. Initially, no nodes are infected or alerted and each node in the network is a special detector n...
James Aspnes, Navin Rustagi, Jared Saia
CCS
2010
ACM
15 years 6 months ago
DIFC programs by automatic instrumentation
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
William R. Harris, Somesh Jha, Thomas W. Reps
USAB
2010
15 years 4 months ago
An Experimental Investigation of the Akamai Adaptive Video Streaming
Akamai oers the largest Content Delivery Network (CDN) service in the world. Building upon its CDN, it recently started to offer High Denition (HD) video distribution using HTTP-...
Luca De Cicco, Saverio Mascolo
DATESO
2004
98views Database» more  DATESO 2004»
15 years 7 months ago
Finite State Automata and Image Recognition
In this paper we introduce finite automata as a tool for specification and compression of gray-scale image. We describe, what are interests points in pictures and idea if they can ...
Marian Mindek