5608 search results - page 109 / 1122 » Structure description tools |
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
MAGS
2007
14 years 9 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
CogTool-Explorer is a tool to predict user exploration choices given a user interface and task. We describe the integration of components that make up CogToolExplorer, and how it ...
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Data interchange in the form of a standard exchange format(SEF) is only a first step towards tool interoperability. Inter-tool communication using files is slow and cumbersome; a ...
EDOC
2007
IEEE
15 years 1 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...