292 search results - page 33 / 59 » Proving Consistency of Pure Methods and Model Fields |
112
Voted
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
128
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
137
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—The split of a multihop, point to point TCP connection consists in replacing a plain, end-to-end TCP connection by a cascade of TCP connections. In such a cascade, conne...
126
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
155
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper presents a new method to detect and accurately extract the moving object from a video sequence taken by a hand-held camera. In order to extract the high quality moving ...