Sciweavers

4919 search results - page 826 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
FASE
2010
Springer
15 years 1 months ago
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
Hermann Lehner, Peter Müller
80
Voted
AVI
2008
15 years 14 days ago
VCode and VData: illustrating a new framework for supporting the video annotation workflow
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
Joey Hagedorn, Joshua M. Hailpern, Karrie Karahali...
AVI
2008
15 years 14 days ago
Eulr: a novel resource tagging facility integrated with Flickr
We have developed a novel information storage and display structure called EulerView, which can be used for the systematic management of tagged resources. The storage model is a n...
Rosario De Chiara, Andrew Fish, Salvatore Ruocco
AVI
2008
15 years 14 days ago
MedioVis: visual information seeking in digital libraries
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...
Mathias Heilig, Mischa Demarmels, Werner A. Kö...
100
Voted
AVI
2008
15 years 14 days ago
An empirical evaluation of interactive visualizations for preferential choice
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...
Jeanette Bautista, Giuseppe Carenini