6960 search results - page 700 / 1392 » Continuity Analysis of Programs |
196
click to vote
AES
2004
Springer
16 years 25 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...
205
click to vote
ARCS
2004
Springer
16 years 25 days ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
221
click to vote
HYBRID
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
189
Voted
HYBRID
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
226
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Over the last two centuries, reading styles have shifted away from the reading of documents from beginning to end and toward the skimming of documents in search of relevant inform...