13618 search results - page 54 / 2724 » The Newton Operating System |
143
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
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,...
135
Voted
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
100
Voted
RSP
2009
IEEE
15 years 11 months ago
2009
IEEE
126
Voted
WORDS
2002
IEEE
15 years 10 months ago
2002
IEEE
109
Voted
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM