1954 search results - page 113 / 391 » Modelling Coordination in Biological Systems |
109
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
211
click to vote
IADT
1998
15 years 7 months ago
1998
One of the main tasks of workflow management systems is the coordination of activities in business processes. This paper introduces a solution framework to support adaptive workfl...
176
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
186
click to vote
ISMB
1998
15 years 7 months ago
1998
A novel method to model and predict the location and orientation of alpha helices in membrane- spanning proteins is presented. It is based on a hidden Markov model (HMM) with an a...
150
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...