797 search results - page 110 / 160 » Observing Success in the Pi-Calculus |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Quantization is intrinsic to several data acquisition systems. This process is especially important in distributed settings, where observations must rst be compressed before they ...
147
click to vote
AIPS
2011
14 years 1 months ago
2011
We define a probe to be a single action sequence computed greedily from a given state that either terminates in the goal or fails. We show that by designing these probes carefull...
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
—Receiver-location privacy is an important security requirement in privacy-preserving Vehicular Ad hoc Networks (VANETs), yet the unavailable receiver’s location information ma...
188
click to vote
IWINAC
2011
Springer
14 years 20 days ago
2011
Springer
Abstract. One of the more important issues in intelligent video surveillance systems is the ability to handle events from the motion of objects. Thus, the classification of the tr...
102
click to vote
COMPSAC
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...