Search Sciweavers | Sciweavers

13618 search results - page 54 / 2724

» The Newton Operating System

click to vote

SOSP
2003
ACM

138views Operating System» more SOSP 2003»

Improving the reliability of commodity operating systems

14 years 4 months ago

Download nooks.cs.washington.edu

Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...

Michael M. Swift, Brian N. Bershad, Henry M. Levy

claim paper

Read More »

click to vote

AIIA
2005
Springer

130views Artificial Intelligence» more AIIA 2005»

Modal Operators with Adaptable Semantics for Multi-agent Systems

14 years 1 months ago

Download www.loa-cnr.it

We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantiﬁers, we study an unusual typ...

Stefano Borgo

claim paper

Read More »

click to vote

RSP
2009
IEEE

146views Control Systems» more RSP 2009»

Operating System Support for Difference-Based Partial Hardware Reconfiguration

14 years 2 months ago