8828 search results - page 1433 / 1766 » Formal methods in practice |
156
click to vote
CRYPTO
2004
Springer
16 years 1 months 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...
181
click to vote
UML
2004
Springer
16 years 29 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...
209
click to vote
INFOCOM
2003
IEEE
16 years 27 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...
200
click to vote
IPPS
2003
IEEE
16 years 27 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...
217
click to vote
IV
2003
IEEE
16 years 26 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. ...