837 search results - page 30 / 168 » Proof Development with OMEGA |
162
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
174
click to vote
MPC
2010
Springer
15 years 10 months ago
2010
Springer
We show a new and constructive proof of the two-squares theorem, based on a somewhat unusual, but very effective, way of rewriting the so-called extended Euclid’s algorithm. Rat...
152
click to vote
ICNP
1998
IEEE
15 years 10 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
180
click to vote
USS
2010
15 years 3 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
181
click to vote
JDCTA
2010
15 years 22 days ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...