4719 search results - page 465 / 944 » Applications = Components GLoo |
196
click to vote
LPAR
2000
Springer
15 years 10 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...
188
click to vote
BMVC
2001
15 years 9 months ago
2001
The HLS colour space is widely used in image analysis as it is physically intuitive. As the hue component of this space is defined on the unit circle, standard greyscale image an...
172
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
202
click to vote
FM
2008
Springer
15 years 8 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...
183
click to vote
ACL
2008
15 years 8 months ago
2008
The validity of semantic inferences depends on the contexts in which they are applied. We propose a generic framework for handling contextual considerations within applied inferen...