Sciweavers

4794 search results - page 361 / 959
» Trust-Based Mechanism Design
Sort
View
162
Voted
ISCAS
2006
IEEE
119views Hardware» more  ISCAS 2006»
16 years 26 days ago
Localized microarchitecture-level voltage management
— Diminishing voltage margins, coupled with power and temperature constraints, call for microarchitecture-level runtime mechanisms for voltage control. This paper describes a loc...
YongKang Zhu, David H. Albonesi
AH
2006
Springer
16 years 24 days ago
Much to Know About History
Users often revisit pages while browsing the Web, yet little is known on the character of these revisits. In this paper we present an analysis of various revisit activities, based ...
Eelco Herder, Harald Weinreich, Hartmut Obendorf, ...
MMSEC
2006
ACM
115views Multimedia» more  MMSEC 2006»
16 years 24 days ago
An improvement to a biometric.based multimedia content protection scheme
A biometric-based method for multimedia content protection was recently proposed. The method relies on biometric data of the user and a layered encryption mechanism to achieve con...
Daniel Socek, Michal Sramka, Oge Marques, Dubravko...
ARITH
2005
IEEE
16 years 14 days ago
Guaranteed Proofs Using Interval Arithmetic
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
Marc Daumas, Guillaume Melquiond, César Mu&...
COMPSAC
2005
IEEE
16 years 13 days ago
Agent Oriented Programming Based on SLABS
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
Ji Wang, Rui Shen, Hong Zhu