Sciweavers

997 search results - page 76 / 200
» Towards Computation over Communities
Sort
View
C5
2004
IEEE
13 years 11 months ago
Squeak in Spain as Part of the LinEx Project
Extremadura regional government [1] has started to use Squeak [2] within the LinEx [3] project. Cooperation from the group Small-Land [4], devoted to spread the use of Squeak in t...
Diego Gómez Deck, José L. Redrejo Ro...
FAC
2006
122views more  FAC 2006»
13 years 8 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
TCOS
2010
13 years 2 months ago
Green Secure Processors: Towards Power-Efficient Secure Processor Design
With the increasing wealth of digital information stored on computer systems today, security issues have become increasingly important. In addition to attacks targeting the softwar...
Siddhartha Chhabra, Yan Solihin
ICIP
2002
IEEE
14 years 9 months ago
Waterfilling: a connection between information theoretic and perceptually based watermarking
We present a hybrid approach to image watermarking that exploits results from both information theory and perceptual studies. Towards this purpose we use a waterfilling-type algor...
Siva Somasundaram, Rajarathnam Chandramouli
SIGUCCS
2004
ACM
14 years 1 months ago
Online solutions: looking to the future of knowledgeBase management
The Princeton University Help Desk KnowledgeBase (KB) is a searchable online information system that publishes Princetonspecific computer solutions to better serve the University ...
Annie Saunders