4075 search results - page 464 / 815 » Modeling Distributed Algorithm Using B |
199
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...
175
click to vote
HPCC
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
165
click to vote
SOFTVIS
2005
ACM
16 years 10 days ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
152
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
We develop a novel framework for supporting e-Science applications that require streaming of information between sites. Using a Synchronous Dataflow (SDF) model, our framework inco...
207
click to vote
ISMB
2007
15 years 9 months ago
2007
Motivation: A few years ago, FlyBase undertook to design a new database schema to store Drosophila data. It would fully integrate genomic sequence and annotation data with bibliog...