5891 search results - page 1083 / 1179 » On the Computational Security of a Distributed Key Distribut... |
129
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
136
click to vote
HASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Live migration provides transparent load-balancing and fault-tolerant mechanism for applications. When a Virtual Machine migrates among hosts residing in two networks, the network...
121
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Online microblogging services, as exemplified by Twitter, have become immensely popular during the latest years. However, current microblogging systems severely suffer from perfor...
110
Voted
ALGORITHMICA
2007
15 years 4 months ago
2007
This paper proposes the Protein Ensemble Method (PEM) to model equilibrium fluctuations in proteins where fragments of the protein polypeptide chain can move independently of one ...
133
Voted
CMPB
2010
15 years 4 months ago
2010
This article presents KARDIA, a Matlab (MathWorks Inc., MA) software developed for the analysis of cardiac interbeat interval (IBI) data. Available functions are called through a ...