Sciweavers

7117 search results - page 60 / 1424
» IT Governance Frameworks as Methods
Sort
View
DAC
1998
ACM
16 years 5 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
CORR
2011
Springer
165views Education» more  CORR 2011»
14 years 10 months ago
On the Semantics of Purpose Requirements in Privacy Policies
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...
Michael Carl Tschantz, Anupam Datta, Jeannette M. ...
ICECCS
2007
IEEE
110views Hardware» more  ICECCS 2007»
15 years 10 months ago
Formally Counting Electronic Votes (But Still Only Trusting Paper)
In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish governmentā€...
Joseph Kiniry
DGO
2004
110views Education» more  DGO 2004»
15 years 5 months ago
Question Answering Performance on Table Data
Question answering (QA) on table data is a challenging information retrieval task. This paper describes a QA system for tables created with both machine learning and heuristic tab...
Xing Wei, W. Bruce Croft, David Pinto
WCE
2007
15 years 5 months ago
Heat Transfer Analysis and Experiments with Energy Recovery Ventilator
— A numerical and experimental study has been carried out for a rotary, periodic flow energy recovery ventilator containing a porous media matrix. The governing differential equa...
M. Khairul Alam, Adriana M. Druma