Sciweavers

4044 search results - page 264 / 809
» The Evolution of a Distributed Operating System
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Stochastic Reasoning About Channel-Based Component Connectors
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
Christel Baier, Verena Wolf
CONCUR
2006
Springer
15 years 8 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 6 months ago
Active Architecture for Pervasive Contextual Services
Pervasive services may be defined as services that are available to any client (anytime, anywhere). Here we focus on the software and network infrastructure required to support pe...
Graham N. C. Kirby, Alan Dearle, Ronald Morrison, ...
SIGOPSE
2004
ACM
16 years 2 days ago
The lonely NATed node
In this paper we take the position that current research in the area of distributed systems has all but forgotten about one of the largest collective Internet resources - the NATe...
Chad Yoshikawa, Brent N. Chun, Amin Vahdat, Fred S...
GI
2001
Springer
15 years 11 months ago
Studierstube: An Application Environment for Multi-User Games in Virtual Reality
: Studierstube is an operating system for applications in virtual reality. It supports multiple users collaborating in a distributed system. While initially developed for scientifi...
Anton L. Fuhrmann, Werner Purgathofer