Sciweavers

1467 search results - page 126 / 294
» Computing with Electronic Nanotechnologies
Sort
View
DATE
1999
IEEE
64views Hardware» more  DATE 1999»
14 years 1 months ago
Dynamic Power Management for non-stationary service requests
Dynamic Power Management is a design methodology aiming at reducing power consumption of electronic systems, by performing selective shutdown of the idle system resources. The eff...
Eui-Young Chung, Luca Benini, Alessandro Bogliolo,...
ELPUB
2007
ACM
14 years 1 months ago
Digitization of Scientific Journals in Serbia
A digitization project in progress carried out by the Mathematical Institute of the Serbian Academy of Sciences, Belgrade (http://www.mi.sanu.ac.yu) and the Faculty of Mathematics...
Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pej...
BCSHCI
2007
13 years 10 months ago
Calling time: an effective and affective evaluation of two versions of the MIT Beer Game
Playing a business game needs to be both educational and entertaining. Thus, evaluation of the experience of playing games needs to incorporate both effective and affective dimens...
Nicola Millard, Rosalind Britton
IADIS
2004
13 years 10 months ago
Voting with Designated Verifier Signature-Like Protocol
We propose in this paper a new voting scheme where the voter, while receiving a receipt for his/her vote allowing further contestations, cannot use it to reveal the vote to other u...
Emmanuel Dall'Olio, Olivier Markowitch
LOGCOM
2006
82views more  LOGCOM 2006»
13 years 9 months ago
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
Jan Broersen, Andreas Herzig, Nicolas Troquard