Sciweavers

16702 search results - page 209 / 3341
» Server operating systems
Sort
View
EUSFLAT
2009
118views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
Hannes Strass, Susana Muñoz-Hernánde...
EUROPAR
2001
Springer
15 years 9 months ago
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
Paul D. Ezhilchelvan, Jean-Michel Hélary, M...
IWCC
1999
IEEE
15 years 8 months ago
Nomad: A Scalable Operating System for Clusters of Uni and Multiprocessors
The recent improvements in workstation and interconnection network performance have popularized the clusters of off-the-shelf workstations. However, the usefulness of these cluste...
Eduardo Pinheiro, Ricardo Bianchini
SP
2007
IEEE
113views Security Privacy» more  SP 2007»
15 years 10 months ago
Usable Mandatory Integrity Protection for Operating Systems
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...
Ninghui Li, Ziqing Mao, Hong Chen
ECOOPWEXCEPTION
2006
Springer
15 years 8 months ago
Exception Handling in the Choices Operating System
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
Francis M. David, Jeffrey C. Carlyle, Ellick Chan,...