The diversity and large volumes of data processed in the Natural Sciences today has led to a proliferation of highlyspecialized and autonomous scientific databases with inherent a...
Anastasios Kementsietsidis, Frank Neven, Dieter Va...
This paper describes the GEOMI system, a visual analysis tool for the visualisation and analysis of large and complex networks. GEOMI provides a collection of network analysis meth...
Adel Ahmed, Tim Dwyer, Michael Forster, Xiaoyan Fu...
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
The Insight Lab is an immersive environment designed to support teams who create design requirements documents. Requirements emerge from a deep understanding of a problem domain, ...
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...