Sciweavers

18090 search results - page 644 / 3618
» Computing by Only Observing
Sort
View
TABLETOP
2006
IEEE
16 years 1 months ago
MultiSpace: Enabling Electronic Document Micro-mobility in Table-Centric, Multi-Device Environments
Although electronic media has changed how people interact with documents, today’s electronic documents and the environments in which they are used are still impoverished relativ...
Katherine Everitt, Chia Shen, Kathy Ryall, Clifton...
SI3D
2006
ACM
16 years 1 months ago
Relief mapping of non-height-field surface details
The ability to represent non-height-field mesostructure details is of great importance for rendering complex surface patterns, such as weave and multilayer structures. Currently,...
Fabio Policarpo, Manuel Menezes de Oliveira Neto
TLCA
2005
Springer
16 years 19 days ago
The Elimination of Nesting in SPCF
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
James Laird
BIRTHDAY
2004
Springer
16 years 17 days ago
On the Formal Modelling of Trust in Reputation-Based Systems
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
Mogens Nielsen, Karl Krukow
NSPW
2003
ACM
16 years 12 days ago
Locality: a new paradigm for thinking about normal behavior and outsider threat
Locality as a unifying concept for understanding the normal behavior of benign users of computer systems is suggested as a unifying paradigm that will support the detection of mal...
John McHugh, Carrie Gates