837 search results - page 57 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
COMSIS
2007
13 years 7 months ago
2007
Real-time human tracking is very important in surveillance and robot applications. We note that the performance of any human tracking system depends on its accuracy and its ability...
IJCSA
2006
13 years 7 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
FM
2006
Springer
13 years 11 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
DASC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...