1922 search results - page 196 / 385 » Systems biology, models, and concurrency |
108
click to vote
ISPDC
2005
IEEE
15 years 7 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
108
click to vote
FOCI
2007
IEEE
15 years 7 months ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...
117
click to vote
WOSP
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
110
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
134
click to vote
EPEW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...