Sciweavers

14382 search results - page 105 / 2877
» Time in Connectionist Models
Sort
View
FUIN
2007
104views more  FUIN 2007»
15 years 1 months ago
Modelling and Checking Timed Authentication of Security Protocols
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
Gizela Jakubowska, Wojciech Penczek
DAC
2007
ACM
16 years 2 months ago
Modeling the Function Cache for Worst-Case Execution Time Analysis
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...
Raimund Kirner, Martin Schoeberl
ISORC
2008
IEEE
15 years 8 months ago
A Real-Time Java Component Model
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
Ales Plsek, Philippe Merle, Lionel Seinturier
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
15 years 7 months ago
Time domain model order reduction by wavelet collocation method
In this paper, a wavelet based approach is proposed for the model order reduction of linear circuits in time domain. Compared with Chebyshev reduction method, the wavelet reductio...
Xuan Zeng, Lihong Feng, Yangfeng Su, Wei Cai, Dian...
AVBPA
2005
Springer
238views Biometrics» more  AVBPA 2005»
15 years 7 months ago
Modelling the Time-Variant Covariates for Gait Recognition
This paper deals with a problem of recognition by gait when time-dependent covariates are added, i.e. when 6 months have passed between recording of the gallery and the probe sets....
Galina V. Veres, Mark S. Nixon, John N. Carter