1. DSpace at MEDIU
  2. Harvested articles مقالات مستوردة من مؤسسات وجامعات عالمية
  3. MIT Items
Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6313
Full metadata record
DC FieldValueLanguage
dc.creatorHewitt, Carl-
dc.creatorAttardi, Giuseppe-
dc.creatorLieberman, Henry-
dc.date2004-10-04T14:50:34Z-
dc.date2004-10-04T14:50:34Z-
dc.date1979-06-01-
dc.date.accessioned2013-10-09T02:44:49Z-
dc.date.available2013-10-09T02:44:49Z-
dc.date.issued2013-10-09-
dc.identifierAIM-505-
dc.identifierhttp://hdl.handle.net/1721.1/6313-
dc.identifier.urihttp://koha.mediu.edu.my:8181/xmlui/handle/1721-
dc.descriptionIn a distributed system where many processors are connected by a networ and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited resource whose use has to be regulated. A GUARDIAN is an abstraction that can be used to regulate the use of resources by scheduling their access, providing protection, and implementing recovery from hardware failures. We present a language construct called a PRIMITIVE SERIALIZER which can be used to express efficient implementations of guardians in a modular fashion. We have developed a proof methodology for proving strong properties of network utilities e.g. the utility is guaranteed to respond to each request which it is sent. This proof methodology is illustrated by proving properties of a guardian which manages two hardcopy printing devices.-
dc.format13845108 bytes-
dc.format10093037 bytes-
dc.formatapplication/postscript-
dc.formatapplication/pdf-
dc.languageen_US-
dc.relationAIM-505-
dc.titleSpecifying and Proving Properties of Guardians for Distributed Systems-
Appears in Collections:MIT Items

Files in This Item:
There are no files associated with this item.
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.