4591 search results - page 354 / 919 » The Global Computer |
171
click to vote
SBIA
2004
Springer
16 years 2 days ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
174
Voted
CSB
2003
IEEE
16 years 1 days ago
2003
IEEE
We have developed a novel algorithm for protein backbone structure determination using global orientational restraints on internuclear bond vectors derived from residual dipolar c...
138
click to vote
CRYPTO
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we present a very practical ciphertext-only cryptanalysis of GSM (Global System for Mobile communications) encrypted communication, and various active attacks on the ...
122
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper focuses on integrating IPv6 functionality into Grid systems. We outline the advantages of IPv6 and the benefit to Grid systems. We then introduce our methodology and our...
160
click to vote
GD
2003
Springer
15 years 12 months ago
2003
Springer
We propose a method for visualizing a set of related metabolic pathways using 21 2 D graph drawing. Interdependent, twodimensional layouts of each pathway are stacked on top of eac...