797 search results - page 11 / 160 » Observing Success in the Pi-Calculus |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
106
click to vote
NMR
2004
Springer
15 years 3 months ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
GEOS
2009
Springer
15 years 2 months ago
2009
Springer
What is the intended interpretation of a geospatial database in terms of reproducible experiences? How should places on a digital globe be interpreted on the earth surface? And how...
72
Voted
ICCS
2007
Springer
15 years 1 months ago
2007
Springer
We present a case study to demonstrate the possibility of discovering complex and interesting latent structures using hierarchical latent class (HLC) models. A similar effort was m...
90
Voted
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...