Sciweavers

2159 search results - page 218 / 432
» C-K design theory for information systems research
Sort
View
CSCW
2004
ACM
16 years 1 days ago
List making in the home
This paper presents research on the use of household lists. Drawing on an ethnographic study of mothers’ work, it focuses on the centrality of paper lists in home- and child-car...
Alex S. Taylor, Laurel Swan
HICSS
2010
IEEE
163views Biometrics» more  HICSS 2010»
15 years 6 months ago
Not Too Long to Read: The tldr Interface for Exploring and Navigating Large-Scale Discussion Spaces
We present a new interface for exploring and navigating large-scale discussions on the internet. Our system, tldr, focuses on three primary user goals: finding, navigating and fil...
Srikanth Narayan, Coye Cheshire
CCS
2005
ACM
16 years 5 days ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
AUTOMATICA
2004
70views more  AUTOMATICA 2004»
15 years 6 months ago
Output feedback control of discrete linear repetitive processes
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
Bartlomiej Sulikowski, Krzysztof Galkowski, Eric R...
WIOPT
2011
IEEE
14 years 10 months ago
Network utility maximization over partially observable Markovian channels
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
Chih-Ping Li, Michael J. Neely