1922 search results - page 191 / 385 » Systems biology, models, and concurrency |
112
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
101
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
127
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The omics fields promise to revolutionize our understanding of biology and biomedicine. However, their potential is compromised by the challenge to analyze the huge da...
107
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
ICIP
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a new feature-aided tracking algorithm dedicated to the task of tracking multiple and closely-spaced biological particles. We propose a new function to score associatio...