Sciweavers

386 search results - page 29 / 78
» A Quality Assurance Process Model on Fault Management
Sort
View
JCP
2008
116views more  JCP 2008»
14 years 9 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...

Publication
219views
16 years 8 months ago
Achieving QoS for TCP Traffic in Satellite Networks with Differentiated Services
Satellite networks play an indispensable role in providing global Internet access and electronic connectivity. To achieve such a global communications, provisioning of quality of s...
Arjan Durresi, Sastri Kota, Mukul Goyal, Raj Jain,...
CISIS
2010
IEEE
14 years 8 months ago
Ten Principles for Living Models - A Manifesto of Change-Driven Software Engineering
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
Ruth Breu
ADAEUROPE
2005
Springer
15 years 3 months ago
Non-intrusive System Level Fault-Tolerance
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
Kristina Lundqvist, Jayakanth Srinivasan, Sé...
95
Voted
SOFTCOMP
2010
14 years 8 months ago
Evaluating the Low Quality Measurements in Lighting Control Systems
In real world processes in the industry or in business, where the elements involved generate data full of noise and biases, improving the energy efficiency represents one of the ma...
José Ramón Villar, Enrique A. de la ...