Sciweavers

1983 search results - page 358 / 397
» User Interface Modelling with UML
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 9 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
BIBM
2008
IEEE
144views Bioinformatics» more  BIBM 2008»
15 years 9 months ago
PhyQL: A Web-Based Phylogenetic Visual Query Engine
Biologists are often interested to query published phylogenetic data for research purposes. PhyQL, a web-based visual phylogenetic query engine, can be quite useful on this regard...
Shahriyar Hossain, Munirul Islam, Jesmin, Hasan M....
ICC
2008
IEEE
146views Communications» more  ICC 2008»
15 years 9 months ago
APOS: Adaptive Parameters Optimization Scheme for Voice over IEEE 802.11g
—In this paper we present APOS, a method for dynamically adapting the parameters of IEEE 802.11g to the estimated system state, with the aim of enhancing the quality of a voice c...
Nicola Baldo, Federico Maguolo, Simone Merlin, And...
QEST
2007
IEEE
15 years 9 months ago
A Productivity Centered Tools Framework for Application Performance Tuning
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
Hui-Fang Wen, Simone Sbaraglia, Seetharami Seelam,...
SP
2007
IEEE
110views Security Privacy» more  SP 2007»
15 years 9 months ago
A Systematic Approach to Uncover Security Flaws in GUI Logic
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
José Meseguer, Ralf Sasse, Helen J. Wang, Y...