11397 search results - page 2061 / 2280 » A Relational Abstraction for Functions |
223
click to vote
UML
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
191
click to vote
ACISP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. XL was first introduced to solve determined or overdetermined systems of equations over a finite field as an “algebraic attack” against multivariate cryptosystems....
219
click to vote
ADBIS
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
151
click to vote
CRYPTO
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In this paper we introduce the method of bi-linear cryptanalysis (BLC), designed specifically to attack Feistel ciphers. It allows to construct periodic biased character...
220
click to vote
ECAI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...