5608 search results - page 109 / 1122 » Structure description tools |
166
click to vote
FLOPS
2006
Springer
15 years 10 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...
159
click to vote
MAGS
2007
15 years 6 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,...
136
click to vote
CHI
2007
ACM
16 years 6 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 ...
157
click to vote
WCRE
2000
IEEE
15 years 10 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 ...
152
click to vote
EDOC
2007
IEEE
15 years 10 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...