2502 search results - page 186 / 501 » Using probabilistic model checking in systems biology |
178
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
174
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we show how a user profile can be enhanced when a more detailed description of the products is included. Two main assumptions have been considered: the first implie...
199
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
180
click to vote
ECMDAFA
2007
Springer
16 years 19 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
187
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
As the amount of textual information grows explosively in various kinds of business systems, it becomes more and more desirable to analyze both structured data records and unstruc...