6413 search results - page 823 / 1283 » Classes of cycle bases |
180
click to vote
LPAR
2005
Springer
16 years 18 days ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
197
click to vote
MYCRYPT
2005
Springer
16 years 17 days ago
2005
Springer
Klimov and Shamir proposed a new class of simple cryptographic primitives named T-functions. For two concrete proposals based on the squaring operation, a single word T-function an...
164
click to vote
OOPSLA
2005
Springer
16 years 17 days ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
167
click to vote
SOCO
2005
Springer
16 years 17 days ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
183
click to vote
TEAA
2005
Springer
16 years 17 days ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...