We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
This article describes a new benchmark, called the Effective System Performance (ESP) test, which is designed to measure system-level performance, including such factors as job sc...
Adrian T. Wong, Leonid Oliker, William T. C. Krame...
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
This (short) paper presents the Clockwise, a mixedmedia file system. The primary goal of the Clockwise is toprovide a storagearchitecturethat supportsthe storage and retrieval of ...
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul ...