4 search results - page 1 / 1 » A Fixed-Point Squaring Algorithm Using an Implicit Arbitrary... |
131
click to vote
CAV
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
150
Voted
CORR
2012
Springer
13 years 9 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
118
click to vote
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
Quorum-based Power Saving (QPS) protocols have been proposed for ad hoc networks (e.g., IEEE 802.11 ad hoc mode) to increase energy efficiency and prolong the operational time of...
138
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
A group key agreement protocol (GKA) allows a set of players to establish a shared secret key which can be used to secure a subsequent communication. Several efficient constantrou...