Sciweavers

1860 search results - page 67 / 372
» tools 2009
Sort
View
ERCIMDL
2009
Springer
110views Education» more  ERCIMDL 2009»
15 years 5 months ago
Searching in a Book
 Information has no value unless it is accessible. With physical books, most  people rely on the table of contents and subject index to find what they wa...
Veronica Liesaputra, Ian H. Witten, David Bainbrid...
76
Voted
CHI
2009
ACM
15 years 11 months ago
Supporting the creation of hybrid museum experiences
This paper presents the evolution of a tool to support the rapid prototyping of hybrid museum experiences by domain professionals. The developed tool uses visual markers to associ...
Boriana Koleva, Stefan Rennick Egglestone, Holger ...
ATVA
2009
Springer
117views Hardware» more  ATVA 2009»
15 years 5 months ago
UnitCheck: Unit Testing and Model Checking Combined
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
Michal Kebrt, Ondrej Sery
CDVE
2009
Springer
127views Visualization» more  CDVE 2009»
15 years 5 months ago
Towards Supporting Phases in Collaborative Writing Processes
This paper reports on an exploratory pilot study that has been conducted to investigate which collaboration technologies are suitable (and which are not) to support collaborative w...
Hannes Olivier, Niels Pinkwart
TOOLS
2009
IEEE
15 years 5 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...