3384 search results - page 62 / 677 » More Testable Properties |
ICICS
2005
Springer
14 years 2 months ago
2005
Springer
We design and analyze a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidanc...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
In this paper we present the first large-scale scene attribute database. First, we perform crowd-sourced human studies to find a taxonomy of 102 discriminative attributes. Next,...
ICDCS
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
LICS
2012
IEEE
11 years 11 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
LATIN
2010
Springer
14 years 3 months ago
2010
Springer
We prove that the radix cross-section of a rational set for a length morphism, and more generally for a rational function from a free monoid into N, is rational, a property that d...