172 search results - page 9 / 35 » Testing Reactive Probabilistic Processes |
VLSID
2007
IEEE
14 years 7 months ago
2007
IEEE
As technology scales to 40nm and beyond, intra-die process variability will cause large delay and leakage variations across a chip in addition to expected die-to-die variations. I...
CCS
1998
ACM
13 years 11 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
FOSSACS
2003
Springer
14 years 18 days ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. A new exemplar-based probabilistic approach for face recognition in video sequences is presented. The approach has two stages: First, Exemplars, which are selected repres...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—We study the problem of in-network processing and queries of trajectories of moving targets in a sensor network. The main idea is to exploit the spatial coherence of target traj...