2111 search results - page 189 / 423 » How to Program Pervasive Systems |
110
click to vote
IFIP
2005
Springer
15 years 8 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
137
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
126
click to vote
DIMEA
2008
15 years 5 months ago
2008
Information is becoming pervasive in the contemporary society, and is increasingly saturating the visual senses and the cognitive efforts of the lay masses. As our attention for v...
127
Voted
CIE
2007
Springer
15 years 3 months ago
2007
Springer
There is a large disparity between the rich physical interfaces of co-located arcade games and the generic input devices seen in most home console systems. In this paper we argue ...
125
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We conducted a preliminary field study to understand the current state of personal digital archiving in practice. Our aim is to design a service for the long-term storage, preserv...