2042 search results - page 77 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
ADAEUROPE
2008
Springer
13 years 9 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
ISPAN
1999
IEEE
14 years 6 hour ago
1999
IEEE
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...
CVPR
2000
IEEE
2000
IEEE
Statistical Modeling and Performance Characterization of a Real-Time Dual Camera Surveillance System
14 years 9 months ago
The engineering of computer vision systems that meet application speci c computational and accuracy requirements is crucial to the deployment of real-life computer vision systems....
WSC
2007
13 years 10 months ago
2007
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We report on a study of topic dynamics for pages visited by a sample of people using MSN Search. We examine the predictive accuracies of probabilistic models of topic transitions ...