Sciweavers

3504 search results - page 331 / 701
» Computational Aspects of Equilibria
Sort
View
INFOVIS
2005
IEEE
16 years 14 days ago
Voronoi Treemaps
Treemaps are a well-known method for the visualization of attributed hierarchical data. Previously proposed Treemap layout algorithms are limited to rectangular shapes, which caus...
Michael Balzer, Oliver Deussen
LICS
2005
IEEE
16 years 14 days ago
Process Algebras for Quantitative Analysis
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
Jane Hillston
SEW
2005
IEEE
16 years 14 days ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
VISSOFT
2005
IEEE
16 years 14 days ago
Visual Realism for the Visualization of Software Metrics
The visualization techniques used in current software visualization frameworks make use of a limited set of graphical elements to highlight relevant aspects of a software system. ...
Danny Holten, Roel Vliegen, Jarke J. van Wijk
WIOPT
2005
IEEE
16 years 14 days ago
Modular Analytical Performance Models for Ad Hoc Wireless Networks
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...
Fernando Luís Dotti, Paulo Fernandes, Afons...