8555 search results - page 1390 / 1711 » Property Based Coordination |
178
click to vote
AES
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Since being officially selected as the new Advanced Encryption Standard (AES), Rijndael has continued to receive great attention and has had its security continuously eva...
185
click to vote
AMAST
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
177
click to vote
AMDO
2004
Springer
16 years 6 days ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
190
click to vote
CIKM
2004
Springer
16 years 6 days ago
2004
Springer
Indexing XML is crucial for efficient XML query processing. We propose a compact tree (Ctree) for XML indexing, which provides not only concise path summaries at group level but a...
172
click to vote
DEXA
2004
Springer
16 years 6 days ago
2004
Springer
Reasoning in legal and social domains appears not to be well dealt with by deductive approaches. This is because such reasoning is open-endedly defeasible, and because the various ...