799 search results - page 1 / 160 » Refinement and Separation Contexts |
FSTTCS
2004
Springer
13 years 8 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
DAC
2003
ACM
14 years 5 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
IFM
2009
Springer
13 years 2 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
DASFAA
1999
IEEE
13 years 9 months ago
1999
IEEE
The spatial query has been processed in two steps, the filter step and the refinement step, due to a large volume and high complexity of the spatial data. However, this approach h...