Sciweavers

4109 search results - page 242 / 822
» User Interface Software Tools
Sort
View
ITCC
2002
IEEE
15 years 7 months ago
Providing an Infrastructure for A Cross Database Management Tool
Software tools used to administer databases are vendor specific, proprietary, and require extensive prior database knowledge on the part of the database professional. We present d...
Régis Charlot
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 4 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
105
Voted
CHI
2010
ACM
15 years 9 months ago
ManyNets: an interface for multiple network analysis and visualization
Traditional network analysis tools support analysts in studying a single network. ManyNets offers these analysts a powerful new approach that enables them to work on multiple netw...
Manuel Freire, Catherine Plaisant, Ben Shneiderman...
CMMR
2007
Springer
126views Music» more  CMMR 2007»
15 years 8 months ago
BioTools: A Biosignal Toolbox for Composers and Performers
In this paper, we present the current state of BioTools, an ongoing project to implement a modular hardware and software toolbox for composers and performers, which allows fast dep...
Miguel Angel Ortiz Pérez, R. Benjamin Knapp
IQ
2007
15 years 3 months ago
An Evaluation Framework For Data Quality Tools
: Data Quality is a major stake for large organizations and software companies are proposing increasing numbers of tools focusing on these issues. The scope of these tools is movin...
Virginie Goasdoué, Sylvaine Nugier, Dominiq...