Sciweavers

5900 search results - page 176 / 1180
» Dependable Systems
Sort
View
PRDC
1999
IEEE
15 years 9 months ago
Networked Windows NT System Field Failure Data Analysis
This paper presents a measurement-based dependability study of a Networked Windows NT system based on field data collected from NT System Logs from 503 servers running in a produc...
Jun Xu, Zbigniew Kalbarczyk, Ravishankar K. Iyer
IEEEARES
2006
IEEE
15 years 11 months ago
Securing DNS Services through System Self Cleansing and Hardware Enhancements
-- Domain Name Systems (DNS) provide the mapping between easily-remembered host names and their IP addresses. Popular DNS implementations however contain vulnerabilities that are e...
Yih Huang, David Arsenault, Arun Sood
IJCAI
1993
15 years 6 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill
LSSC
2007
Springer
15 years 11 months ago
Comments on the GMRES Convergence for Preconditioned Systems
Abstract. The purpose of this paper is to comment a frequent observation by the engineers studying acoustic scattering. It is related to the convergence of the GMRES method when so...
Nabil Gmati, Bernard Philippe
137
Voted
AUTOMATICA
2007
73views more  AUTOMATICA 2007»
15 years 5 months ago
Output feedback controller synthesis for descriptor systems satisfying closed-loop dissipativity
This paper is concerned with synthesis of output feedback controllers for descriptor systems to attain dissipativity of the closed-loop system. A necessary and sufficient conditio...
Izumi Masubuchi