3155 search results - page 193 / 631 » How Are You Doing |
UTP
2010
13 years 7 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
GRAPHICSINTERFACE
2009
13 years 7 months ago
2009
We introduce a haptic mousewheel as a platform for design exploration of haptic conviction widgets. Conviction is how strongly one wants to do something, or how strongly one desir...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
In this paper we consider the generation of discrete white noise. Despite this seems to be a simple problem, common noise generator implementations do not deliver comparable resul...
INTENV
2010
13 years 4 months ago
2010
In this Science-Fiction Prototyping article, I present an imaginative forward look at how artificial intelligence and virtual environments might change the nature of future educati...
MAGS
2010
13 years 4 months ago
2010
This paper analyzes sequential auctions for budget constrained bidders, for multiple heterogeneous common value objects. In most auctions, bidders not only have valuations for obj...