Kropf, Peter

1999, Kropf, Peter, Plaice, John

We describe the interaction and relation between entities in distributed systems, as proposed in the Web Operating System (WOS). Every entity in the system is a versioned object which depends on its current context, which itself is pro- grammable and can be effected by the objects circulating within it. These entities interact through mechanisms of requests/answers and negotiations. Those who exhibit functional and behavioral affinities may dynamically associate themselves to form communities. This positional paper states the basic ideas of the notion of communities in distributed systems.

1999, Kropf, Peter, Plaice, John

We summarize the interaction between the theory behind intensional programming, as seen in Lucid; and intensional versioning, as seen in Lemur, Intensional HTML, ISE, VMAKE, etc. These two concepts can be seen to be duals of each other, and they rely on dual notions of store, the warehouse for caching values, and the catalog for providing definitions. Catalogs contain intensional objects, which are openable boxes labelled by Lucid contexts. Finally, Lucid contexts are now first-class values.

1997, Kropf, Peter, Plaice, John, Unger, Herwig

1996, Kropf, Peter, Plaice, John

There are two fundamental trends in the development of computers: the miniaturization of components and the increase in communication capacities. The combination of these two trends is leading to a qualitatively new situation, in which the same techniques will be applicable at all scales of computing, be they at the chip level or at the level of the World Wide Web (WWW).

1999, Kropf, Peter, Plaice, John

We summarize the interaction between the theory behind intensional program- ming, as seen in Lucid; and intensional versioning, as seen in Lemur, Intensional HTML, ISE, VMAKE, etc. These two concepts can be seen to be duals of each other, and they rely on dual notions of store, the warehouse for caching values, and the cata- log for providing definitions. Catalogs contain intensional objects, which are openable boxes labelled by Lucid contexts. Finally, Lucid contexts are now first-class values.

1999, Plaice, John, Kropf, Peter, Gergatsoulis, Manolis, Rondogiannis, Panagiotis

We describe the interaction and relation between entities in distributed systems, as proposed in the Web Operating System (WOS). Every entity in the system is a versioned object which depends on its current context, which itself is programmable and can be effected by the objects circulating within it. These entities interact through mechanisms of requests/answers and negotiations. Those who exhibit functional and behavioral affinities may dynamically associate themselves to form communities. This positional paper states the basic ideas of the notion of communities in distributed systems.

1997, Ben Lamine, Slim, Kropf, Peter, Plaice, John

We discuss the concept of computing on the Web. We show that the heterogeneous and dynamic nature of the Web makes it impossible to define a fixed set of operating system functions, usable for all services. Rather, we propose that generalized software configuration techniques, based on a demand-driven technique called eduction, can be used to define versions of a Web Operating System (WOS) that can be built in an incremental manner. We illustrate this problem by examining the question of load balancing.

1999, Kropf, Peter, Plaice, John

We describe the interaction and relation between entities in distributed systems, as proposed in the Web Operating System (WOS). Every entity in the system is a versioned object which depends on its current context, which itself is programmable and can be effected by the objects circulating within it. These entities interact through mechanisms of requests/answers and negotiations. Those who exhibit functional and behavioral affinities may dynamically associate themselves to form communities. This positional paper states the basic ideas of the notion of communities in distributed systems.

1997, Kropf, Peter, Plaice, John, Unger, Herwig

1997, Lamine, S.B., Plaice, John, Kropf, Peter

We discuss the concept of computing on the Web. We show that the heterogeneous and dynamic nature of the Web makes it impossible to define a fixed set of operating system functions, usable for all services. Rather, we propose that generalized software configuration techniques, based on a demand-driven technique called eduction, can be used to define versions of a Web Operating System (WOS) that can be built in an incremental manner. We illustrate this problem by examining the question of load balancing.