Sciweavers

1660 search results - page 69 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
IJNSEC
2006
132views more  IJNSEC 2006»
14 years 9 months ago
Personality Trait Based Simulation Model of the E-mail System
Within the area of criminal and terrorist social network analysis, there is little research being done on analysing the communication behavior of criminal and terrorist groups. In...
Mark Jyn-Huey Lim, Michael Negnevitsky, Jacky Hart...
ITS
2010
Springer
169views Multimedia» more  ITS 2010»
15 years 2 months ago
Automatic Question Generation for Literature Review Writing Support
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
Ming Liu, Rafael A. Calvo, Vasile Rus
SPIN
2004
Springer
15 years 3 months ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis
SIGDIAL
2010
14 years 4 months ago
Towards Incremental Speech Generation in Dialogue Systems
We present a first step towards a model of speech generation for incremental dialogue systems. The model allows a dialogue system to incrementally interpret spoken input, while si...
Gabriel Skantze, Anna Hjalmarsson
ICST
2010
IEEE
14 years 8 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...