Sciweavers

4930 search results - page 368 / 986
» Testing a Safety-Critical Application
Sort
View
HASE
2007
IEEE
16 years 1 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
GEOS
2007
Springer
16 years 29 days ago
Structure-Based Methods to Enhance Geospatial Ontology Alignment
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
William Sunna, Isabel F. Cruz
ISSRE
2006
IEEE
16 years 24 days 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
WORDS
2005
IEEE
16 years 11 days ago
Progressive Ranking and Composition of Web Services Using Covering Arrays
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai
MM
2005
ACM
136views Multimedia» more  MM 2005»
16 years 10 days ago
Evaluation of subjective video quality of mobile devices
Subjectively perceived video quality is a critical factor when adopting new mobile video applications. When video is used in mobile networks the most important requirements are re...
Satu Jumisko-Pyykkö, Jukka Häkkinen