Sciweavers

2848 search results - page 8 / 570
» A Contract Based System For Large Data Visualization
Sort
View
VIS
2004
IEEE
134views Visualization» more  VIS 2004»
14 years 9 months ago
Hierarchy Based 3D Visualization of Large Software Structures
Modern object-oriented programs are hierarchical systems with many thousands of interrelated subsystems. Visualization helps developers to better comprehend these large and comple...
Michael Balzer, Oliver Deussen
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
14 years 2 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
AMET
1998
Springer
14 years 3 days ago
Bid Evaluation and Selection in the MAGNET Automated Contracting System
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
Erik S. Steinmetz, John Collins, Scott Jamison, Ra...
MIR
2006
ACM
157views Multimedia» more  MIR 2006»
14 years 1 months ago
Generating summaries and visualization for large collections of geo-referenced photographs
We describe a framework for automatically selecting a summary set of photos from a large collection of geo-referenced photographs. Such large collections are inherently difficult ...
Alexander Jaffe, Mor Naaman, Tamir Tassa, Marc Dav...
VL
1996
IEEE
157views Visual Languages» more  VL 1996»
14 years 12 hour ago
Visualizing Program Executions on Large Data Sets
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
John T. Stasko, Jeyakumar Muthukumarasamy