Université de Neuchâtel

WOS communities - interactions and relations between entities in distributed system

Kropf, Peter ; Plaice, John

In: Proceedings of the Workshop on Distributed Computing on the Web (DCW'99), 1999, p. 163-167

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...

Université de Neuchâtel

Intensional Communities

Kropf, Peter ; Plaice, John

In: Intensional Programming II, 1999, p. 292-296

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...

Université de Neuchâtel

Problems of Computing on the Web

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

In: High Performance Computing Symposium 97, 1997, p. 296–301

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...

Université de Neuchâtel

Networking and computing: From the Chip to the Web

Kropf, Peter ; Plaice, John

In: 9th International Symposium on Languages for Intensional Programming (ISLIP), 1996, p. 1-9

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).

Université de Neuchâtel

Intensional objects

Kropf, Peter ; Plaice, John

In: 12th International Symposium on Languages for Intensional Programming (ISLIP'99), 1999, p. 180-187

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...