3544 search results - page 599 / 709 » Software Testing |
105
click to vote
ISORC
2003
IEEE
15 years 7 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
128
Voted
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
131
click to vote
PERCOM
2010
ACM
15 years 16 days ago
2010
ACM
—Data loss in wireless communications greatly affects the reconstruction quality of a signal. In the case of images, data loss results in a reduction in quality of the received i...
128
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
127
click to vote
CHI
1995
ACM
15 years 5 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...