2556 search results - page 469 / 512 » The Triconnected Abstraction of Process Models |
116
click to vote
CJ
2006
15 years 2 months ago
2006
Abstract. Uncertainty is an inherent property of all living systems. Curiously enough, computational models inspired by biological systems do not take, in general, under considerat...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
118
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
121
click to vote
JGTOOLS
2008
15 years 1 months ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
125
click to vote
DC
2007
15 years 1 months ago
2007
Abstract Many reliable distributed systems are consensusbased and typically operate under two modes: a fast normal mode in failure-free synchronous periods, and a slower recovery m...