1336 search results - page 119 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
120
Voted
SCL
2008
15 years 3 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
127
click to vote
WSC
2008
15 years 6 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
164
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
152
Voted
ENTCS
2006
15 years 3 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
109
Voted
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
Context influences the search process, but to date research has not definitively identified which aspects of context are the most influential for information retrieval, and thus a...