Sciweavers

9511 search results - page 1541 / 1903
» Selected Design Issues
Sort
View
WWW
2010
ACM
16 years 1 months ago
What is disputed on the web?
We present a method for automatically acquiring of a corpus of disputed claims from the web. We consider a factual claim to be disputed if a page on the web suggests both that the...
Rob Ennals, Dan Byler, John Mark Agosta, Barbara R...
ARITH
2009
IEEE
16 years 1 months ago
A 32-bit Decimal Floating-Point Logarithmic Converter
This paper presents a new design and implementation of a 32-bit decimal floating-point (DFP) logarithmic converter based on the digit-recurrence algorithm. The converter can calc...
Dongdong Chen, Yu Zhang, Younhee Choi, Moon Ho Lee...
HICSS
2009
IEEE
99views Biometrics» more  HICSS 2009»
16 years 1 months ago
Service Composition in Public Networks: Results from a Quasi-Experiment
New systems can be created by assembling a set of elementary services provided by various stakeholders in a service composition. Service composition is not a trivial endeavor and ...
Ralph Feenstra, Marijn Janssen
EUROSEC
2009
ACM
16 years 1 months ago
QuanTM: a quantitative trust management system
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...
Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak ...
CCS
2009
ACM
16 years 1 months ago
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
Cédric Fournet, Gurvan Le Guernic, Tamara R...
« Prev « First page 1541 / 1903 Last » Next »