Sciweavers

13618 search results - page 326 / 2724
» The Newton Operating System
Sort
View
HOTOS
2003
IEEE
16 years 1 days ago
Scheduling and Simulation: How to Upgrade Distributed Systems
Upgrading the software of long-lived distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes may be down and halting t...
Sameer Ajmani, Barbara Liskov, Liuba Shrira
171
Voted
KBSE
2008
IEEE
16 years 1 months ago
MTSA: The Modal Transition System Analyser
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
Nicolás D'Ippolito, Dario Fischbein, Marsha...
COMPCON
1994
IEEE
15 years 11 months ago
An Overview of the Spring System
Spring is a highly modular, distributed, object-oriented operating system. This paper describes the goals of the Spring system and provides overviews of the Spring object model, t...
James G. Mitchell, Jonathan Gibbons, Graham Hamilt...
USS
2008
15 years 9 months ago
Research Challenges for the Security of Control Systems
In this paper we attempt to answer two questions: (1) Why should we be interested in the security of control systems? And (2) What are the new and fundamentally different requirem...
Alvaro A. Cárdenas, Saurabh Amin, Shankar S...
ICALT
2005
IEEE
16 years 11 days ago
Application of Instant Message System in Cooperative Learning
The popularity of instant messaging (IM) system creates a new way for human communication. Along with this trend, IM system is broadly applied in cooperative learning. There isn...
Shih-chen Hsieh, Yu-chen Hsu