4075 search results - page 99 / 815 » Modeling Distributed Algorithm Using B |
JSS
2006
13 years 9 months ago
2006
This article analyses two most commonly used distributed models in Java: Web services and RMI (Remote Method Invocation). The paper focuses on regular (unsecured) as well as on se...
EUROPLOP
2006
13 years 10 months ago
2006
We consider how to add security to the Broker distribution pattern. We do so by examining how systems using Broker are secured in practice, and by then revising the pattern to ref...
BMCBI
2007
13 years 9 months ago
2007
Background: Serial analysis of gene expression (SAGE) is used to obtain quantitative snapshots of the transcriptome. These profiles are count-based and are assumed to follow a Bin...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
A number of techniques for generating geometric models of human head and body are in use nowadays. Models of human characters are useful in computer games, virtual reality, and ma...
LCTRTS
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...