Sciweavers

3547 search results - page 514 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
RTAS
2009
IEEE
16 years 1 months ago
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
Stanley Bak, Deepti K. Chivukula, Olugbemiga Adeku...
SIGIR
2009
ACM
16 years 1 months ago
Score adjustment for correction of pooling bias
Information retrieval systems are evaluated against test collections of topics, documents, and assessments of which documents are relevant to which topics. Documents are chosen fo...
William Webber, Laurence A. F. Park
SIGCSE
2010
ACM
183views Education» more  SIGCSE 2010»
16 years 1 months ago
Electronic commerce virtual laboratory
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
Joel Coffman, Alfred C. Weaver
GI
2007
Springer
16 years 23 days ago
An Object Oriented Approach for Data Fusion
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
Kaeye Dästner, Thomas Kausch, Felix Opitz
DSD
2006
IEEE
109views Hardware» more  DSD 2006»
16 years 20 days ago
ATOMI II - Framework for Easy Building of Object-oriented Embedded Systems
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
Tero Vallius, Juha Röning