125 search results - page 15 / 25 » Combining Theories with Shared Set Operations |
177
click to vote
DC
2010
15 years 2 months ago
2010
In this paper, we present RAMBO, an algorithm for emulating a read/write distributed shared memory in a dynamic, rapidly changing environment. RAMBO provides a highly reliable, hi...
144
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
162
click to vote
FOSSACS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
149
click to vote
IMAGING
2004
15 years 6 months ago
2004
Extending differential-based operations to color images is hindered by the multi-channel nature of color images. The derivatives in different channels can point in opposite direct...
141
click to vote
IANDC
2007
15 years 5 months ago
2007
In this paper we study secure information flow policies in the sense of Meadows [12] and others for aggregated datasets, collectively. We first present a method for combining di...