2502 search results - page 271 / 501 » Using probabilistic model checking in systems biology |
184
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
286
click to vote
ENTCS
2006
15 years 6 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
182
click to vote
EVOW
2007
Springer
16 years 24 days ago
2007
Springer
The effective reverse engineering of biochemical networks is one of the great challenges of systems biology. The contribution of this paper is two-fold: 1) We introduce a new meth...
194
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
181
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we describe a nonlinear image representation based on divisive normalization that is designed to match the statistical properties of photographic images, as well as...