4184 search results - page 21 / 837 » Names of Our Lives |
SAS
1999
Springer
15 years 1 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
83
Voted
DAGSTUHL
2007
14 years 11 months ago
2007
This paper tackles on ethical issues that are relevant when designing new technological service systems for the assisted living. In this paper we present our preliminary ethical gu...
77
Voted
CN
2004
14 years 9 months ago
2004
Several objectives have been identified in developing the random early drop (RED): decreasing queueing delay, increasing throughput, and increasing fairness between short and long...
101
Voted
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
AIME
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...