Sciweavers

2002 search results - page 262 / 401
» Interactive technical illustration
Sort
View
96
Voted
CGF
2008
110views more  CGF 2008»
15 years 28 days ago
TimeRadarTrees: Visualizing Dynamic Compound Digraphs
The evolution of dependencies in information hierarchies can be modeled by sequences of compound digraphs with edge weights. In this paper we present a novel approach to visualize...
Michael Burch, Stephan Diehl
95
Voted
COMCOM
2008
148views more  COMCOM 2008»
15 years 28 days ago
TCP fairness issues in IEEE 802.11 wireless LANs
In this paper, we study several TCP fairness issues in wireless local networks, both experimentally and via simulation. We illustrate the unfairness problems caused by the 802.11 ...
Qian Wu, Mingwei Gong, Carey L. Williamson
91
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 27 days ago
Automatic Verification of Parametric Specifications with Complex Topologies
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Vio...
109
Voted
ALIFE
2006
15 years 27 days ago
Issues in Auditory Display
Auditory displays have been successfully developed to assist data visualization in many areas, but have as yet received little attention in the field of Artificial Life. This pape...
Alice C. Eldridge
95
Voted
ENTCS
2008
64views more  ENTCS 2008»
15 years 27 days ago
Service Discovery and Negotiation With COWS
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...