140
Voted
RECOMB
16 years 17 days ago
2010 Springer  227
click to vote
BICOB
15 years 10 months ago
2010 Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...
119
Voted
RECOMB
16 years 17 days ago
2010 Springer  254
click to vote
ASM
16 years 2 months ago
2010 ASM
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
197
click to vote
ASM
15 years 5 months ago
2010 ASM 
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
|
Computational Biology