314 search results - page 45 / 63 » Validating Specifications for Model-Based Testing |
DEBS
2008
ACM
13 years 8 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
SEAA
2008
IEEE
14 years 1 months ago
2008
IEEE
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...
KBSE
2005
IEEE
14 years 9 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
ITS
2004
Springer
14 years 3 days ago
2004
Springer
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
FPGA
2003
ACM
13 years 12 months ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...