5404 search results - page 486 / 1081 » Global Computing for Bioinformatics |
176
click to vote
SBIA
2004
Springer
16 years 6 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...
140
click to vote
CRYPTO
2003
Springer
16 years 2 days 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 ...
129
click to vote
GCC
2003
Springer
16 years 2 days 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...
163
click to vote
GD
2003
Springer
16 years 2 days 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...
153
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...