3106 search results - page 128 / 622 » Both Generic Design and Different Forms of Designing |
FSE
2003
Springer
15 years 3 months ago
2003
Springer
In this paper we study structural properties of SPN ciphers in which both the S-boxes and the affine layers are involutions. We apply our observations to the recently designed Rijn...
101
Voted
FASE
2000
Springer
15 years 1 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
GROUP
1993
ACM
15 years 2 months ago
1993
ACM
: Development of documents in multiple media involves activities in three different fields, the technical, the discoursive and the procedural. The major development problems of art...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper analyzes bilateral multi-issue negotiation between selfinterested autonomous agents. The agents have time constraints in the form of both deadlines and discount factors...