Sciweavers

1255 search results - page 89 / 251
» User Modeling for Efficient Use of Multimedia Files
Sort
View
JCS
2008
119views more  JCS 2008»
15 years 19 days ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
INFOVIS
1999
IEEE
15 years 5 months ago
Sensemaking of Evolving Web Sites Using Visualization Spreadsheets
In the process of knowledge discovery, workers examine available information in order to make sense of it. By sensemaking, we mean interacting with and operating on the informatio...
Ed Huai-hsin Chi, Stuart K. Card
115
Voted
CHI
2007
ACM
16 years 1 months ago
The digital music box: using cultural and critical theory to inform design
This work draws on studies which explore resistance to the music industry's construal of copying music files as theft. Following a previous ethnography on participants' ...
Mark Blythe
122
Voted
BMCBI
2005
134views more  BMCBI 2005»
15 years 17 days ago
Windows .NET Network Distributed Basic Local Alignment Search Toolkit (W.ND-BLAST)
Background: BLAST is one of the most common and useful tools for Genetic Research. This paper describes a software application we have termed Windows .NET Distributed Basic Local ...
Scot E. Dowd, Joaquin Zaragoza, Javier R. Rodrigue...
ICMCS
2007
IEEE
106views Multimedia» more  ICMCS 2007»
15 years 7 months ago
An Investigation and a Preventing Strategy for the Redundant Packets in P2P Networks with Push Method
The push method for data transmission in peer-to-peer system has drawn great interest, since it can efficiently reduce the accumulated latency observed at user nodes. However, it ...
Xin Xiao, Yuanchun Shi, Meng Zhang