8828 search results - page 1433 / 1766 » Formal methods in practice |
145
click to vote
CRYPTO
2004
Springer
16 years 6 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...
165
click to vote
UML
2004
Springer
16 years 5 days ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
184
Voted
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
— Input-queued switches are used extensively in the design of high-speed routers. As switch speeds and sizes increase, the design of the switch scheduler becomes a primary challe...
177
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
Partitioning and global scheduling are two approaches for scheduling real-time tasks on multiprocessors. Though partitioning is sub-optimal, it has traditionally been preferred; t...
190
click to vote
IV
2003
IEEE
16 years 3 days ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...