Sciweavers

1537 search results - page 165 / 308
» Domain-Specific Software Component Models
Sort
View
FMSD
2002
81views more  FMSD 2002»
15 years 4 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
METRICS
2005
IEEE
15 years 10 months ago
Measuring Productivity on High Performance Computers
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
Marvin V. Zelkowitz, Victor R. Basili, Sima Asgari...
FASE
2004
Springer
15 years 10 months ago
A Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
Gruia-Catalin Roman, Christine Julien, Jamie Payto...
BMCBI
2011
14 years 8 months ago
Genotype calling in tetraploid species from bi-allelic marker data using mixture models
Background: Automated genotype calling in tetraploid species was until recently not possible, which hampered genetic analysis. Modern genotyping assays often produce two signals, ...
Roeland E. Voorrips, Gerrit Gort, Ben Vosman
FUIN
2006
128views more  FUIN 2006»
15 years 4 months ago
A Rewriting Framework for Rule-Based Programming Dynamic Applications
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
Anatoly E. Doroshenko, Ruslan Shevchenko