1746 search results - page 116 / 350 » Residual for Component Specifications |
143
click to vote
LPAR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
141
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
133
click to vote
NIPS
2001
15 years 5 months ago
2001
The adaptive TAP Gibbs free energy for a general densely connected probabilistic model with quadratic interactions and arbritary single site constraints is derived. We show how a ...
119
click to vote
COOTS
1996
15 years 5 months ago
1996
During the development of Beyond-Sniff, a distributed multi-user development platform, we were confronted with various, apparently unrelated problems: data, control, and user inte...
106
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: Post transcriptional gene silencing (PTGS) is a recently discovered phenomenon that is an area of intense research interest. Components of the PTGS machinery are being...