2502 search results - page 391 / 501 » Using probabilistic model checking in systems biology |
154
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
137
click to vote
EWSA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
124
click to vote
AE
2005
Springer
15 years 10 months ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
141
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Data integration is an escalating problem in bioinformatics. We have developed a web tool and warehousing system, Booly, that features a simple yet flexible data model...
136
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...