Sciweavers

ENTCS
2007
86views more  ENTCS 2007»
13 years 5 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
DSS
2007
128views more  DSS 2007»
13 years 5 months ago
Toward an interoperable dynamic network analysis toolkit
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...
Kathleen M. Carley, Jana Diesner, Jeffrey Reminga,...
JUCS
2008
115views more  JUCS 2008»
13 years 5 months ago
Supporting the Development of Accessible Web Applications
: The aim of this paper is to review the best known methodologies for web applications development as well as the existing supporting tools and techniques from an accessibility-cen...
Myriam Arrue, Markel Vigo, Julio Abascal
JUCS
2008
165views more  JUCS 2008»
13 years 5 months ago
A Product Derivation Tool Based on Model-Driven Techniques and Annotations
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
Elder Cirilo, Uirá Kulesza, Carlos Jos&eacu...
IVS
2006
86views more  IVS 2006»
13 years 5 months ago
The origins of the concept mapping tool and the continuing evolution of the tool
A research program at Cornell University that sought to study the ability of first and second grade children to acquire basic science concepts and the effect of this learning on l...
Joseph D. Novak, Alberto J. Cañas
JCP
2008
97views more  JCP 2008»
13 years 5 months ago
Profiling Tools for FPGA-Based Embedded Systems: Survey and Quantitative Comparison
Profiling tools are computer-aided design (CAD) tools that help in determining the computationally intensive portions in software. Embedded systems consist of hardware and software...
Jason G. Tong, Mohammed A. S. Khalid
IIE
2006
81views more  IIE 2006»
13 years 5 months ago
Various Utilizations of an Open-Source Program Visualization Tool, Jeliot 3
In this paper, we present an open-source program visualization tool, Jeliot 3. We discuss the design principles and philosophy that gave rise to this successful e-learning tool and...
Roman Bednarik, Andrés Moreno, Niko Myller
IJSC
2008
95views more  IJSC 2008»
13 years 5 months ago
Beyond Information Silos - an Omnipresent Approach to Software Evolution
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
Juergen Rilling, René Witte, Philipp Sch&uu...
GRID
2006
Springer
13 years 5 months ago
Personal Workspace for Large-Scale Data-Driven Computational Experiment
1 -- As the scale and complexity of data-driven computational science grows, so grows the burden on the scientists and students in managing the data products used and generated dur...
Yiming Sun, Scott Jensen, Sangmi Lee Pallickara, B...
FAC
2006
122views more  FAC 2006»
13 years 5 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock