15777 search results - page 2676 / 3156 » The Reformulation-Optimization Software Engine |
204
Voted
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
207
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
168
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
172
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
180
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...