Sciweavers

3948 search results - page 417 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
158
Voted
ICALT
2007
IEEE
16 years 1 months ago
Handheld Computer Supported Context-aware learning with 2D Barcodes
This paper reports a study that aims to construct a 2D barcode supported learning system, called HELLO (Handheld English Language Learning Organization), to improve students’ En...
Yu-Ling Chu, Tsung-Yu Liu
CAV
2007
Springer
98views Hardware» more  CAV 2007»
16 years 1 months ago
UPPAAL-Tiga: Time for Playing Games!
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
Gerd Behrmann, Agnès Cougnard, Alexandre Da...
CDVE
2007
Springer
112views Visualization» more  CDVE 2007»
16 years 1 months ago
VICA: A Voronoi Interface for Visualizing Collaborative Annotations
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
Yue Wang, James Shearer, Kwan-Liu Ma
OOPSLA
2007
Springer
16 years 28 days ago
From developer's head to developer tests: characterization, theories, and preventing one more bug
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
David Saff
ACSC
2006
IEEE
16 years 26 days ago
Supporting software reuse by the individual programmer
Despite its long history and its benefits, software reuse has yet to become a common practise among software programmers. While there is much ongoing research, it focuses on larg...
Min-Sheng Hsieh, Ewan D. Tempero