Sciweavers

180 search results - page 12 / 36
» How to safely close a discussion
Sort
View
ISVLSI
2007
IEEE
160views VLSI» more  ISVLSI 2007»
14 years 2 months ago
On the Limitations of Power Macromodeling Techniques
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
Felipe Klein, Guido Araujo, Rodolfo Azevedo, Rober...
SAFECOMP
2004
Springer
14 years 1 months ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
HICSS
2010
IEEE
174views Biometrics» more  HICSS 2010»
14 years 1 months ago
Developing an EMR Simulator to Assess Users' Perception of Document Quality
Simulators are used in research and training because they provide a realistic and safe environment for participants. In the course of conducting a comprehensive study of patient c...
Efthimis N. Efthimiadis, Kenric W. Hammond, Ryan L...
INAP
2001
Springer
14 years 9 days ago
Defeasible Logic
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
Donald Nute
ACSAC
2007
IEEE
14 years 2 months ago
Secure and Flexible Monitoring of Virtual Machines
The monitoring of virtual machines has many applications in areas such as security and systems management. A monitoring technique known as introspection has received significant ...
Bryan D. Payne, Wenke Lee