32032 search results - page 163 / 6407 » Verified programming in Guru |
299
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Mining frequent itemsets from data streams has proved to be very difficult because of computational complexity and the need for real-time response. In this paper, we introduce a no...
191
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
163
click to vote
TASE
2009
IEEE
16 years 28 days ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
160
click to vote
ACSD
2008
IEEE
16 years 21 days ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
162
click to vote
CSSE
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...