3 search results - page 1 / 1 » An Analysis of Backward Simulation Data-Refinement for Parti... |
APSEC
2003
IEEE
13 years 9 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 2 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
13 years 10 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...