Search Sciweavers | Sciweavers

12084 search results - page 71 / 2417

» Effect Systems with Subtyping

click to vote

AML
2002

131views more AML 2002»

Fuzzy logic, continuity and effectiveness

13 years 9 months ago

Download www.dmi.unisa.it

Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...

Loredana Biacino, Giangiacomo Gerla

claim paper

Read More »

click to vote

USS
2004

78views Operating System» more USS 2004»

Side Effects Are Not Sufficient to Authenticate Software

13 years 10 months ago

Download www.cs.berkeley.edu

Kennell and Jamieson [KJ03] recently introduced the Genuinity system for authenticating trusted software on a remote machine without using trusted hardware. Genuinity relies on ma...

Umesh Shankar, Monica Chew, J. D. Tygar

claim paper

Read More »

click to vote

IFIP12
2010

131views Information Technology» more IFIP12 2010»

Rule Learning with Negation: Issues Regarding Effectiveness

13 years 7 months ago

Download www.csc.liv.ac.uk

: An investigation of rule learning processes that allow the inclusion of negated features is described. The objective is to establish whether the use of negation in inductive rule...

Stephanie Chua, Frans Coenen, Grant Malcolm

claim paper

Read More »

click to vote

EUROSYS
2009
ACM

155views Software Engineering» more EUROSYS 2009»

Statistical profiling-based techniques for effective power provisioning in data centers

14 years 6 months ago

Download nsfcac.rutgers.edu

Sriram Govindan, Jeonghwan Choi, Bhuvan Urgaonkar,...

claim paper

Read More »