43 search results - page 3 / 9 » Beyond Spreadsheets: Tools for Building Decision Support Sys... |
ICFEM
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
LISA
2004
13 years 8 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
DGO
2010
13 years 9 months ago
2010
Decisions regarding major urban transportation projects and land use policies are frequently political and controversial, as well as having significant economic, social, and envir...
CRIWG
2004
13 years 8 months ago
2004
The production of geological mapping by conventional processes is a complex work of data gathering and integration, along with expert and team analysis. This process is very time c...
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
This paper describes an agent-based artificial market system whose underlying interaction protocols provide advanced features. Using the system, actors (i.e., customers and mercha...