1415 search results - page 12 / 283 » List making in the home |
81
Voted
PUC
2010
14 years 8 months ago
2010
Deploying UbiComp in real homes is central to realizing Weiserʼs grand vision of ʻinvisibleʼ computing. It is essential to moving design out of the lab and making it into an unr...
SECON
2008
IEEE
15 years 3 months ago
2008
IEEE
In 2003, the MIT Technology Review magazine listed wireless sensor networks as one of “Ten Emerging Technologies That Will Change the World” [2]. Five years later, are wireles...
119
Voted
WOA
2010
14 years 7 months ago
2010
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
DBA
2004
14 years 11 months ago
2004
We argue for a new aggregate function we termed the LIST function. It aggregates a set of values of one or more attributes into a single value that is internally a list of these v...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We describe a formal verification of a recent concurrent list-based set algorithm due to Heller et al. The algorithm is optimistic: the add and remove operations traverse the list ...