In this paper, we present a theory of synchronous data-ow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-ow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish...

Theories of the meaning of life are divided into two categories: nihilistic and anti-nihilistic. The latter is divided, in turn, into the view that life is meaningful and the view that life can be made meaningful. In this paper, we deploy a descriptive-analytic method to discuss Jean-Paul Sartre’s view of nihilism. In his view, God does not exist, the human being is born and dies without a reas...

Letter from the Editor-in-Chief . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . David Lomet 1 TC on Data Engineering: Election of Chair for 2007-2008 . . . . . . . . Betty Salzberg, David Lomet, Erich Neuhold 2 Position Statement and Biography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

The Chair of the IEEE Computer Society Technical Committee on Data Engineering (TCDE) is elected for a two-year period. The mandate of the current Chair, Kyu-Young Whang, is coming to an end and it is time to elect a Chair for the next two years. The TCDE Chair Nominating Committee, consisting of Amr El Abaddi, Paul Larson, and David Lomet, has nominated two candidates for the position as Chair...

This paper suggests a solution to the puzzling finding documented in Moskowitz and Vissing-Jorgensen (2002) that the return to an index of private equity is equal to the return to the CRSP index of public equity even though investment in private firms is substantially riskier. It presents an occupational choice model where human and financial capital can be jointly invested in a private busines...

The Chair of the IEEE Computer Society Technical Committee on Data Engineering (TCDE) is elected for a two-year period. The current Chair, Paul Larson, is unavailable to be a candidate. A Nominating Committee for electing a new chair for the period 2011-2012 consisting of Calton Pu, David Lomet and Erich Neuhold has been formed. The Nominating Committee invites nominations for the position of C...

Recently, several reversible information hiding methods based PVO (pixel value ordering) techniques have been proposed, in these methods, secret data always are embedded in pixels with largest or smallest value in the block. In order to make use of the block with multiple largest-valued (or smallest-valued) pixels, a PVO-K method was proposed, which treats K largest-valued (or smallest-valued) ...