4382 search results - page 493 / 877 » Query by Semantic Example |
143
click to vote
SRDS
2000
IEEE
15 years 9 months ago
2000
IEEE
Group communication systems are powerful building blocks that facilitate the development of fault-tolerant distributed applications. Such systems generally run in an asynchronous ...
135
click to vote
PKC
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a simple and efficient conversion from a semantically secure public-key encryption scheme against passive adversaries to a non-malleable (or semantically secure...
140
click to vote
TPHOL
1994
IEEE
15 years 8 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
135
click to vote
CLOR
2006
15 years 8 months ago
2006
The chapter describes visual classification by a hierarchy of semantic fragments. In fragment-based classification, objects within a class are represented by common sub-structures ...
166
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...