3931 search results - page 327 / 787 » Separation logic and abstraction |
194
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
239
click to vote
SAINT
2009
IEEE
2009
IEEE
CCDM: Central Controller-Based Device Management Architecture and Method to Split Management Scripts
16 years 1 months ago
This paper presents CCDM, a new architecture for management of devices, which collect environmental information and give effects to the environment. CCDM provides easy management ...
143
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...
151
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
186
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...