46 search results - page 10 / 10 » Hoare Logic for Realistically Modelled Machine Code |
153
click to vote
CUZA
2002
15 years 3 months ago
2002
In this paper we present a mechanism for serializing the execution-state of a distributed Java application that is implemented on a conventional Object Request Broker (ORB) archite...