4126 search results - page 686 / 826 » Relationships with other Formalisms |
197
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Blinding is a popular and well-known countermeasure to protect public-key cryptosystems against side-channel attacks. The high level idea is to randomize an exponentiation in order...
177
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
We introduce and formally define polynomial commitment schemes, and provide two efficient constructions. A polynomial commitment scheme allows a committer to commit to a polynomial...
156
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
186
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
165
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...