Sciweavers

5407 search results - page 885 / 1082
» The Software Engineering Global Model
Sort
View
FASE
2010
Springer
15 years 7 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
AVI
2008
15 years 6 months 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 6 months 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 6 months 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
ACMSE
2008
ACM
15 years 6 months ago
Biometrics education with hands-on labs
Biometrics is an emerging field via the automated use of unique and measurable physiological or behavioral characteristics to determine or verify identity. Biometrics has a variet...
Li Yang, Kathy Winters, Joseph M. Kizza