Sciweavers

6941 search results - page 4 / 1389
» Testing as a Certification Approach
Sort
View
EMSOFT
2010
Springer
13 years 5 months ago
Load-based schedulability analysis of certifiable mixed-criticality systems
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
Haohan Li, Sanjoy K. Baruah
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
13 years 11 months ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
ICPR
2002
IEEE
14 years 8 months ago
Automatic Grading Prototype System for KANJI Dictation Test
This paper presents an automatic grading prototype system developed as recognition engine for Japanese KANJI Dictation Test which aims to certificate the reading and writing abili...
Meng Shi, Tetsushi Wakabayashi, Wataru Ohyama, Fum...
ACSAC
2001
IEEE
13 years 11 months ago
Determining Privileges of Mobile Agents
This paper describes a method for controlling the behavior of mobile agent-system entities through the allocation of privileges. Privileges refer to policy rules that govern the a...
Wayne A. Jansen
SIGADA
2001
Springer
13 years 12 months ago
Automating software module testing for FAA certification
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
Usha Santhanam