1818 search results - page 245 / 364 » Granularity-Adaptive Proof Presentation |
154
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
182
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
ABSTRACT. This paper gives a brief overview of computation models for data stream processing, and it introduces a new model for multi-pass processing of multiple streams, the so-ca...
173
click to vote
ISCC
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract— In [1], [2], we presented the design, specification and proof of correctness of a fully distributed location management scheme for PCS networks and argued that fully r...
164
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
177
click to vote
CRYPTO
2000
Springer
15 years 10 months ago
2000
Springer
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...