1922 search results - page 123 / 385 » Systems biology, models, and concurrency |
122
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
108
click to vote
ASM
2008
ASM
15 years 3 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
129
Voted
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—We present an optimal methodology for dynamic voltage scheduling problem in the presence of realistic assumption such as leakage-power and intra-task overheads. Our contribution...
106
click to vote
ISNN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper proposes a new method to discriminate the vascular conditions from biological signals by using a probabilistic neural network, and develops the diagnosis suppo...
117
click to vote
ENTCS
2008
15 years 1 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...