Sciweavers

2825 search results - page 232 / 565
» Support for Object-Oriented Testing
Sort
View
HICSS
2009
IEEE
145views Biometrics» more  HICSS 2009»
15 years 11 months ago
Automatic Web Services Generation
This paper discusses the design and implementation of a Service Generator Toolkit (SGT) that allows web services researchers to easily create large numbers of web services. When d...
Ernest Cho, Sam Chung, Daniel Zimmerman
ISMAR
2009
IEEE
15 years 11 months ago
Evaluating the benefits of augmented reality for task localization in maintenance of an armored personnel carrier turret
We present the design, implementation, and user testing of a prototype augmented reality application to support military mechanics conducting routine maintenance tasks inside an a...
Steven J. Henderson, Steven Feiner
125
Voted
HASE
2007
IEEE
15 years 11 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
144
Voted
ISSRE
2006
IEEE
15 years 10 months ago
Memoized Forward Computation of Dynamic Slices
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
Wes Masri, Nagi Nahas, Andy Podgurski
SEMWEB
2005
Springer
15 years 10 months ago
BRAHMS: A WorkBench RDF Store and High Performance Memory System for Semantic Association Discovery
Discovery of semantic associations in Semantic Web ontologies is an important task in various analytical activities. Several query languages and storage systems have been designed ...
Maciej Janik, Krys Kochut