4957 search results - page 428 / 992 » Simplifying Distributed System Development |
167
click to vote
ICDCS
2006
IEEE
16 years 26 days ago
2006
IEEE
In this work we propose and develop a comprehensive infrastructure, coined PastryStrings, for supporting rich queries on both numerical (with range, and comparison predicates) and...
174
click to vote
NSPW
2006
ACM
16 years 24 days ago
2006
ACM
The use of deception is one of many defensive techniques being explored today. In the past, defenders of systems have used deception haphazardly, but now researchers are developin...
206
click to vote
SPDP
1993
IEEE
15 years 11 months ago
1993
IEEE
This paper examines how the performance of a shared-memory multiprocessor can be improved by including hardware support for block transfers. A system similar to the Hector multipr...
167
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
189
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...