Sciweavers

1036 search results - page 161 / 208
» Evaluating Mixed-Initiative Systems: An Experimental Approac...
Sort
View
PASTE
2005
ACM
14 years 4 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
SOFTVIS
2005
ACM
14 years 4 months ago
CVSscan: visualization of code evolution
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
Lucian Voinea, Alexandru Telea, Jarke J. van Wijk
ICS
2005
Tsinghua U.
14 years 4 months ago
Multigrain parallel Delaunay Mesh generation: challenges and opportunities for multithreaded architectures
Given the importance of parallel mesh generation in large-scale scientific applications and the proliferation of multilevel SMTbased architectures, it is imperative to obtain ins...
Christos D. Antonopoulos, Xiaoning Ding, Andrey N....
MHCI
2005
Springer
14 years 4 months ago
Mystery in the museum: collaborative learning activities using handheld devices
In this paper, we describe the experience of designing a collaborative learning activity for a traditional historical/cultural museum. The activity, based on a “Mystery in the M...
Jorge Simarro Cabrera, Henar Muñoz Frutos, ...
DOLAP
2004
ACM
14 years 4 months ago
Handling big dimensions in distributed data warehouses using the DWS technique
The DWS (Data Warehouse Striping) technique allows the distribution of large data warehouses through a cluster of computers. The data partitioning approach partition the facts tab...
Marco Costa, Henrique Madeira