3 search results - page 1 / 1 » An Analysis of Backward Simulation Data-Refinement for Parti... |
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
FAC
2010
13 years 8 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
INFOCOM
2003
IEEE
14 years 4 months ago
2003
IEEE
— The success of a P2P file-sharing network highly depends on the scalability and versatility of its search mechanism. Two particularly desirable search features are scope (abil...