Sciweavers

853 search results - page 34 / 171
» Delimited Continuations in Operating Systems
Sort
View
SOSP
1993
ACM
13 years 11 months ago
The Information Bus - An Architecture for Extensible Distributed Systems
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
Brian M. Oki, Manfred Pflügl, Alex Siegel, Da...
RISE
2005
Springer
14 years 3 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
AUTONOMICS
2008
ACM
13 years 11 months ago
On modeling of self-organizing systems
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
Richard Holzer, Hermann de Meer
FUIN
2007
122views more  FUIN 2007»
13 years 9 months ago
Behaviour Algebras
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...
Józef Winkowski
ICDCSW
2006
IEEE
14 years 3 months ago
An Event Service Supporting Autonomic Management of Ubiquitous Systems for e-Health
— Healthcare and economic drivers have increased the desire to deploy systems for continuous monitoring of patients, both in hospital and outpatient settings. Such systems must o...
Stephen Strowes, Nagwa Badr, Steven Heeps, Emil Lu...