Sciweavers

11376 search results - page 290 / 2276
» Willow System Demonstration
Sort
View
SCS
2003
15 years 8 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
SMC
2007
IEEE
111views Control Systems» more  SMC 2007»
16 years 29 days ago
Healthcare IT as a source of resilience
—Healthcare information technology (IT) systems can be used to inform workers and managers about changes to workplace vulnerabilities and new means that may be available to meet ...
Christopher P. Nemeth, Richard I. Cook
TIC
2000
Springer
174views System Software» more  TIC 2000»
15 years 10 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett
IJPRAI
2000
135views more  IJPRAI 2000»
15 years 6 months ago
Towards Unrestricted Lip Reading
Lip reading provides useful information in speech perception and language understanding, especially when the auditory speech is degraded. However, many current automatic lip readi...
Uwe Meier, Rainer Stiefelhagen, Jie Yang, Alex Wai...
COMCOM
2008
135views more  COMCOM 2008»
15 years 6 months ago
Peer-to-peer system-based active worm attacks: Modeling, analysis and defense
Active worms continue to pose major threats to the security of today's Internet. This is due to the ability of active worms to automatically propagate themselves and compromi...
Wei Yu, Sriram Chellappan, Xun Wang, Dong Xuan