2623 search results - page 218 / 525 » tools 2010 |
203
click to vote
DOCENG
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we present tools that provide an easy way to edit XML content directly on the web, with the usual benefit of valid XML content. These tools make it possible to crea...
205
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
173
click to vote
HPCC
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present performance analysis of two NASA applications using performance tools like Tuning and Analysis Utilities (TAU) and SGI MPInside. MITgcmUV and OVERFLOW ar...
189
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
169
click to vote
IJHCI
2010
15 years 5 months ago
2010
Motivation – Investigations of large-scale outages in the North American interconnected electric system often attribute the causes to three T’s: Trees, Training and Tools. To ...