Sciweavers

1108 search results - page 57 / 222
» Making sense of sensemaking
Sort
View
IPPS
2003
IEEE
14 years 2 months ago
Reasoning about Deadlines in Concurrent Real-Time Programs
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
Sibylle Peuker, Ian J. Hayes
DSN
2002
IEEE
14 years 1 months ago
Evaluation of the Maximum Level Reached by a Queue Over a Finite Period
This paper deals with the performance analysis of a system modeled by a queue. If we are interested in occupation problems and if we look at the transient phase, then it makes sen...
Gerardo Rubino
INFOVIS
1999
IEEE
14 years 1 months ago
The Sunflower Visual Metaphor, a New Paradigm for Dimensional Compression
This paper introduces the Sunflower visual metaphor for information visualization. The visual metaphor is presented as an alternative to current techniques of dimensional compress...
Stuart J. Rose
ERCIMDL
1999
Springer
104views Education» more  ERCIMDL 1999»
14 years 1 months ago
The Small World Web
I show that the World Wide Web is a small world, in the sense that sites are highly clustered yet the path length between them is small. I also demonstrate the advantages of a sear...
Lada A. Adamic
SSD
1995
Springer
97views Database» more  SSD 1995»
14 years 13 days ago
Ranking in Spatial Databases
Abstract. An algorithm for ranking spatial objects according to increasing distance from a query object is introduced and analyzed. The algorithm makes use of a hierarchical spatia...
Gísli R. Hjaltason, Hanan Samet