منابع مشابه
Swap logic
We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ability to invert pairs of related elements in the domain while traversing an edge of the accessibility relation. SL is very expressive: it fails to have the finite and the tree ...
متن کاملSwap Bribery
In voting theory, bribery is a form of manipulative behavior in which an external actor (the briber) offers to pay the voters to change their votes in order to get her preferred candidate elected. We investigate a model of bribery where the price of each vote depends on the amount of change that the voter is asked to implement. Specifically, in our model the briber can change a voter’s preferen...
متن کاملAgricultural Credit Card Innovation: The Case of Financiera Trisan
Agricultural credit card innovation : the case of Financiera Trisan / Mark D. Wenner, Rodolfo Quirós. p. cm. (Sustainable Development Dept. Best practices series ; MIC-107) Includes bibliographical references.
متن کاملPhysical Node 1 VAS Memory Swap Persistent Swap Persistent
In large persistent object systems it is possible to have many million (or eventually billion or more) objects in existence. These objects must be managed to enable their eeective and convenient use. At the heart of this management problem is the structure which maintains information about the objects and provides services on the objects using the information it maintains. We refer to this stru...
متن کاملHot Swap Power Management
This topic introduces the concept of Hot Swapping DC power buses and why hotswapping has become a mainstream requirement, particularly in the telecommunications industry. Several methods of implementing hot swap will be provided along with the pros and cons of each method. Finally, a hot swap design utilizing a Hot Swap Power Manager will be presented for a typical -48V telecom
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Industrial Data
سال: 2014
ISSN: 1810-9993,1560-9146
DOI: 10.15381/idata.v13i1.6159