523 search results - page 105 / 105 » Transformations for Model Checking Distributed Java Programs |
CLOUDCOM
2010
Springer
13 years 2 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...
AVI
2008
13 years 7 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
BMCBI
2008
13 years 4 months ago
2008
Background: Hypermethylation of promoter CpG islands is strongly correlated to transcriptional gene silencing and epigenetic maintenance of the silenced state. As well as its role...