4507 search results - page 463 / 902 » Generalized Binet dynamics |
220
click to vote
WS
2006
ACM
16 years 24 days ago
2006
ACM
This paper presents SCUBA (Secure Code Update By Attestation), for detecting and recovering compromised nodes in sensor networks. The SCUBA protocol enables the design of a sensor...
172
click to vote
ACSD
2005
IEEE
16 years 15 days ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
160
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
203
click to vote
ECBS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
242
click to vote
ECRTS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...