797 search results - page 44 / 160 » Observing Success in the Pi-Calculus |
ICCD
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Information theory provides a range of useful methods to analyse probability distributions and these techniques have been successfully applied to measure information flow and the ...
HRI
2009
ACM
15 years 4 months ago
2009
ACM
A general learning task for a robot in a new environment is to learn about objects and what actions/effects they afford. To approach this, we look at ways that a human partner c...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
—Wikipedia is one of the most successful examples of massive collaborative content development. However, many of the mechanisms and procedures that it uses are still unknown in d...